Uses of Class
org.sat4j.pb.core.IntegerVariable

Packages that use IntegerVariable

Package	Description
org.sat4j.pb	Implementations of pseudo boolean solvers
org.sat4j.pb.core	Implementations of pseudo boolean solvers
org.sat4j.pb.multiobjective
org.sat4j.pb.tools	Implementation of different tools for pseudo boolean solvers

Uses of IntegerVariable in org.sat4j.pb

Methods in org.sat4j.pb that return IntegerVariable

Modifier and Type	Method and Description
IntegerVariable	IIntegerPBSolver.newIntegerVar(BigInteger maxValue)

Methods in org.sat4j.pb with parameters of type IntegerVariable

Modifier and Type	Method and Description
IConstr	IIntegerPBSolver.addAtLeast(IntegerVariable var, int degree)
IConstr	IIntegerPBSolver.addAtMost(IntegerVariable var, int degree)
IConstr	IIntegerPBSolver.addExactly(IntegerVariable var, int degree)
void	IIntegerPBSolver.addIntegerVariableToObjectiveFunction(IntegerVariable var, BigInteger weight)
BigInteger	IIntegerPBSolver.getIntegerVarValue(IntegerVariable var)

Method parameters in org.sat4j.pb with type arguments of type IntegerVariable

Modifier and Type	Method and Description
IConstr	IIntegerPBSolver.addAtLeast(IVecInt literals, IVec<BigInteger> coeffs, IVec<IntegerVariable> integerVars, IVec<BigInteger> integerVarsCoeffs, BigInteger degree)
IConstr	IIntegerPBSolver.addAtLeast(IVecInt literals, IVecInt coeffs, IVec<IntegerVariable> integerVars, IVec<BigInteger> integerVarsCoeffs, int degree)
IConstr	IIntegerPBSolver.addAtMost(IVecInt literals, IVec<BigInteger> coeffs, IVec<IntegerVariable> integerVars, IVec<BigInteger> integerVarsCoeffs, BigInteger degree)
IConstr	IIntegerPBSolver.addAtMost(IVecInt literals, IVecInt coeffs, IVec<IntegerVariable> integerVars, IVec<BigInteger> integerVarsCoeffs, int degree)
IConstr	IIntegerPBSolver.addExactly(IVecInt literals, IVec<BigInteger> coeffs, IVec<IntegerVariable> integerVars, IVec<BigInteger> integerVarsCoeffs, BigInteger weight)
IConstr	IIntegerPBSolver.addExactly(IVecInt literals, IVecInt coeffs, IVec<IntegerVariable> integerVars, IVec<BigInteger> integerVarsCoeffs, int weight)
IConstr	IIntegerPBSolver.addPseudoBoolean(IVecInt lits, IVec<BigInteger> coeffs, IVec<IntegerVariable> integerVars, IVec<BigInteger> integerVarsCoeffs, boolean moreThan, BigInteger d)

Uses of IntegerVariable in org.sat4j.pb.core

Methods in org.sat4j.pb.core that return IntegerVariable

Modifier and Type	Method and Description
IntegerVariable	IntegerPBSolverDecorator.newIntegerVar(BigInteger maxValue)

Methods in org.sat4j.pb.core with parameters of type IntegerVariable

Modifier and Type	Method and Description
IConstr	IntegerPBSolverDecorator.addAtLeast(IntegerVariable var, int degree)
IConstr	IntegerPBSolverDecorator.addAtMost(IntegerVariable var, int degree)
IConstr	IntegerPBSolverDecorator.addExactly(IntegerVariable var, int degree)
void	IntegerPBSolverDecorator.addIntegerVariableToObjectiveFunction(IntegerVariable var, BigInteger weight)
BigInteger	IntegerPBSolverDecorator.getIntegerVarValue(IntegerVariable var)

Method parameters in org.sat4j.pb.core with type arguments of type IntegerVariable

Modifier and Type	Method and Description
IConstr	IntegerPBSolverDecorator.addAtLeast(IVecInt literals, IVec<BigInteger> coeffs, IVec<IntegerVariable> integerVars, IVec<BigInteger> integerVarsCoeffs, BigInteger degree)
IConstr	IntegerPBSolverDecorator.addAtLeast(IVecInt literals, IVecInt coeffs, IVec<IntegerVariable> integerVars, IVec<BigInteger> integerVarsCoeffs, int degree)
IConstr	IntegerPBSolverDecorator.addAtMost(IVecInt literals, IVec<BigInteger> coeffs, IVec<IntegerVariable> integerVars, IVec<BigInteger> integerVarsCoeffs, BigInteger degree)
IConstr	IntegerPBSolverDecorator.addAtMost(IVecInt literals, IVecInt coeffs, IVec<IntegerVariable> integerVars, IVec<BigInteger> integerVarsCoeffs, int degree)
IConstr	IntegerPBSolverDecorator.addExactly(IVecInt literals, IVec<BigInteger> coeffs, IVec<IntegerVariable> integerVars, IVec<BigInteger> integerVarsCoeffs, BigInteger weight)
IConstr	IntegerPBSolverDecorator.addExactly(IVecInt literals, IVecInt coeffs, IVec<IntegerVariable> integerVars, IVec<BigInteger> integerVarsCoeffs, int weight)
IConstr	IntegerPBSolverDecorator.addPseudoBoolean(IVecInt lits, IVec<BigInteger> coeffs, IVec<IntegerVariable> integerVars, IVec<BigInteger> integerVarsCoeffs, boolean moreThan, BigInteger d)

Uses of IntegerVariable in org.sat4j.pb.multiobjective

Fields in org.sat4j.pb.multiobjective with type parameters of type IntegerVariable

Modifier and Type	Field and Description
protected List<IntegerVariable>	OrderedObjsOWAOptimizer.objBoundVariables
protected List<IntegerVariable>	SumLeximinDecompositionOWAOptimizer.objBoundVariables

Methods in org.sat4j.pb.multiobjective that return IntegerVariable

Modifier and Type	Method and Description
IntegerVariable	SumLeximinDecompositionOWAOptimizer.newIntegerVar(BigInteger maxValue)

Methods in org.sat4j.pb.multiobjective with parameters of type IntegerVariable

Modifier and Type	Method and Description
IConstr	SumLeximinDecompositionOWAOptimizer.addAtLeast(IntegerVariable var, int degree)
IConstr	SumLeximinDecompositionOWAOptimizer.addAtMost(IntegerVariable var, int degree)
IConstr	SumLeximinDecompositionOWAOptimizer.addExactly(IntegerVariable var, int degree)
void	SumLeximinDecompositionOWAOptimizer.addIntegerVariableToObjectiveFunction(IntegerVariable var, BigInteger weight)
BigInteger	SumLeximinDecompositionOWAOptimizer.getIntegerVarValue(IntegerVariable var)

Method parameters in org.sat4j.pb.multiobjective with type arguments of type IntegerVariable

Modifier and Type	Method and Description
IConstr	SumLeximinDecompositionOWAOptimizer.addAtLeast(IVecInt literals, IVec<BigInteger> coeffs, IVec<IntegerVariable> integerVars, IVec<BigInteger> integerVarsCoeffs, BigInteger degree)
IConstr	SumLeximinDecompositionOWAOptimizer.addAtLeast(IVecInt literals, IVecInt coeffs, IVec<IntegerVariable> integerVars, IVec<BigInteger> integerVarsCoeffs, int degree)
IConstr	SumLeximinDecompositionOWAOptimizer.addAtMost(IVecInt literals, IVec<BigInteger> coeffs, IVec<IntegerVariable> integerVars, IVec<BigInteger> integerVarsCoeffs, BigInteger degree)
IConstr	SumLeximinDecompositionOWAOptimizer.addAtMost(IVecInt literals, IVecInt coeffs, IVec<IntegerVariable> integerVars, IVec<BigInteger> integerVarsCoeffs, int degree)
IConstr	SumLeximinDecompositionOWAOptimizer.addExactly(IVecInt literals, IVec<BigInteger> coeffs, IVec<IntegerVariable> integerVars, IVec<BigInteger> integerVarsCoeffs, BigInteger weight)
IConstr	SumLeximinDecompositionOWAOptimizer.addExactly(IVecInt literals, IVecInt coeffs, IVec<IntegerVariable> integerVars, IVec<BigInteger> integerVarsCoeffs, int weight)
IConstr	SumLeximinDecompositionOWAOptimizer.addPseudoBoolean(IVecInt lits, IVec<BigInteger> coeffs, IVec<IntegerVariable> integerVars, IVec<BigInteger> integerVarsCoeffs, boolean moreThan, BigInteger d)

Uses of IntegerVariable in org.sat4j.pb.tools

Methods in org.sat4j.pb.tools that return IntegerVariable

Modifier and Type	Method and Description
IntegerVariable	ManyCoreIntegerPB.newIntegerVar(BigInteger maxValue)

Methods in org.sat4j.pb.tools with parameters of type IntegerVariable

Modifier and Type	Method and Description
IConstr	ManyCoreIntegerPB.addAtLeast(IntegerVariable var, int degree)
IConstr	ManyCoreIntegerPB.addAtMost(IntegerVariable var, int degree)
IConstr	ManyCoreIntegerPB.addExactly(IntegerVariable var, int degree)
void	ManyCoreIntegerPB.addIntegerVariableToObjectiveFunction(IntegerVariable var, BigInteger weight)
BigInteger	ManyCoreIntegerPB.getIntegerVarValue(IntegerVariable var)

Method parameters in org.sat4j.pb.tools with type arguments of type IntegerVariable

Modifier and Type	Method and Description
IConstr	ManyCoreIntegerPB.addAtLeast(IVecInt literals, IVec<BigInteger> coeffs, IVec<IntegerVariable> integerVars, IVec<BigInteger> integerVarsCoeffs, BigInteger degree)
IConstr	ManyCoreIntegerPB.addAtLeast(IVecInt literals, IVecInt coeffs, IVec<IntegerVariable> integerVars, IVec<BigInteger> integerVarsCoeffs, int degree)
IConstr	ManyCoreIntegerPB.addAtMost(IVecInt literals, IVec<BigInteger> coeffs, IVec<IntegerVariable> integerVars, IVec<BigInteger> integerVarsCoeffs, BigInteger degree)
IConstr	ManyCoreIntegerPB.addAtMost(IVecInt literals, IVecInt coeffs, IVec<IntegerVariable> integerVars, IVec<BigInteger> integerVarsCoeffs, int degree)
IConstr	ManyCoreIntegerPB.addExactly(IVecInt literals, IVec<BigInteger> coeffs, IVec<IntegerVariable> integerVars, IVec<BigInteger> integerVarsCoeffs, BigInteger weight)
IConstr	ManyCoreIntegerPB.addExactly(IVecInt literals, IVecInt coeffs, IVec<IntegerVariable> integerVars, IVec<BigInteger> integerVarsCoeffs, int weight)
IConstr	ManyCoreIntegerPB.addPseudoBoolean(IVecInt lits, IVec<BigInteger> coeffs, IVec<IntegerVariable> integerVars, IVec<BigInteger> integerVarsCoeffs, boolean moreThan, BigInteger d)