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)