org.sat4j.pb.tools
Class LexicoHelper<T,C>

java.lang.Object
  extended by org.sat4j.pb.tools.DependencyHelper<T,C>
      extended by org.sat4j.pb.tools.LexicoHelper<T,C>

public class LexicoHelper<T,C>
extends DependencyHelper<T,C>


Field Summary
 
Fields inherited from class org.sat4j.pb.tools.DependencyHelper
BASIC_NEGATION, NO_NEGATION
 
Constructor Summary
LexicoHelper(IPBSolver solver)
           
LexicoHelper(IPBSolver solver, boolean explanationEnabled)
           
LexicoHelper(IPBSolver solver, boolean explanationEnabled, boolean canonicalOptFunctionEnabled)
           
 
Method Summary
 void addCriterion(Collection<T> things)
           
 void addWeightedCriterion(Collection<WeightedObject<T>> things)
           
 boolean isOptimal()
           
 
Methods inherited from class org.sat4j.pb.tools.DependencyHelper
addToObjectiveFunction, addToObjectiveFunction, and, atLeast, atLeast, atMost, atMost, atMost, atMost, clause, discard, discardSolutionsWithObjectiveValueGreaterThan, disjunction, getASolution, getBooleanValueFor, getIntValue, getIntValue, getMappingToDomain, getNumberOfConstraints, getNumberOfVariables, getObjectiveFunction, getSolution, getSolutionCost, getSolver, halfOr, hasASolution, hasASolution, hasASolution, iff, ifThenElse, implication, not, or, reset, setFalse, setNegator, setObjectiveFunction, setTrue, stopExplanation, stopSolver, why, why, whyNot
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

LexicoHelper

public LexicoHelper(IPBSolver solver)

LexicoHelper

public LexicoHelper(IPBSolver solver,
                    boolean explanationEnabled,
                    boolean canonicalOptFunctionEnabled)

LexicoHelper

public LexicoHelper(IPBSolver solver,
                    boolean explanationEnabled)
Method Detail

addCriterion

public void addCriterion(Collection<T> things)

addWeightedCriterion

public void addWeightedCriterion(Collection<WeightedObject<T>> things)

isOptimal

public boolean isOptimal()


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