|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use INegator | |
|---|---|
| org.sat4j.pb.tools | |
| 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
|
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 | |||||||||