Uses of Interface
org.sat4j.pb.tools.INegator

Packages that use INegator
org.sat4j.pb.tools Implementation of different tools for pseudo boolean solvers 
 

Uses of INegator in org.sat4j.pb.tools
 

Classes in org.sat4j.pb.tools that implement INegator
 class StringNegator
           
 

Fields in org.sat4j.pb.tools declared as INegator
static INegator DependencyHelper.BASIC_NEGATION
           
static INegator StringNegator.instance
           
static INegator DependencyHelper.NO_NEGATION
           
 

Methods in org.sat4j.pb.tools with parameters of type INegator
 void DependencyHelper.setNegator(INegator negator)
           
 



Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.