|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |