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

Packages that use INegator

Package	Description
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

Modifier and Type	Class and Description
class	StringNegator

Fields in org.sat4j.pb.tools declared as INegator

Modifier and Type	Field and Description
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

Modifier and Type	Method and Description
void	DependencyHelper.setNegator(INegator negator)