Index

A B C D E F G I K L M N O P R S T U V X
All Classes and Interfaces|All Packages|Serialized Form

A

abs(IUniverseIntensionConstraint) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the absolute-value operator.

ABS - Enum constant in enum class fr.univartois.cril.juniverse.csp.operator.UniverseArithmeticOperator

The arithmetic operator for computing the absolute value of a value.

accept(IUniverseIntensionConstraintVisitor) - Method in interface fr.univartois.cril.juniverse.csp.intension.IUniverseIntensionConstraint

Accepts an IUniverseIntensionConstraintVisitor.

accept(IUniverseIntensionConstraintVisitor) - Method in class fr.univartois.cril.juniverse.csp.intension.UniverseBinaryIntensionConstraint

accept(IUniverseIntensionConstraintVisitor) - Method in class fr.univartois.cril.juniverse.csp.intension.UniverseConstantIntensionConstraint

accept(IUniverseIntensionConstraintVisitor) - Method in class fr.univartois.cril.juniverse.csp.intension.UniverseIfThenElseIntensionConstraint

accept(IUniverseIntensionConstraintVisitor) - Method in class fr.univartois.cril.juniverse.csp.intension.UniverseNaryIntensionConstraint

accept(IUniverseIntensionConstraintVisitor) - Method in class fr.univartois.cril.juniverse.csp.intension.UniverseRangeIntensionConstraint

accept(IUniverseIntensionConstraintVisitor) - Method in class fr.univartois.cril.juniverse.csp.intension.UniverseSetIntensionConstraint

accept(IUniverseIntensionConstraintVisitor) - Method in class fr.univartois.cril.juniverse.csp.intension.UniverseUnaryIntensionConstraint

accept(IUniverseIntensionConstraintVisitor) - Method in class fr.univartois.cril.juniverse.csp.intension.UniverseVariableIntensionConstraint

add(IUniverseIntensionConstraint...) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the addition operator.

add(List<IUniverseIntensionConstraint>) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the addition operator.

ADD - Enum constant in enum class fr.univartois.cril.juniverse.csp.operator.UniverseArithmeticOperator

The arithmetic operator for computing the addition of several values.

addAllClauses(List<List<Integer>>) - Method in interface fr.univartois.cril.juniverse.sat.IUniverseSatSolver

Adds to this solver several clauses from a set of sets of literals.

addAllDifferent(List<String>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an all-different constraint to this solver.

addAllDifferent(List<String>, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an all-different constraint to this solver.

addAllDifferentIntension(List<IUniverseIntensionConstraint>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an all-different constraint to this solver.

addAllDifferentList(List<List<String>>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an all-different constraint to this solver.

addAllDifferentList(List<List<String>>, List<List<BigInteger>>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an all-different constraint to this solver.

addAllDifferentMatrix(List<List<String>>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an all-different constraint to this solver.

addAllDifferentMatrix(List<List<String>>, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an all-different constraint to this solver.

addAllEqual(List<String>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an all-equal constraint to this solver.

addAllEqualIntension(List<IUniverseIntensionConstraint>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an all-equal constraint to this solver.

addAmong(List<String>, List<BigInteger>, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an among constraint to this solver.

addAmong(List<String>, List<BigInteger>, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an among constraint to this solver.

addAtLeast(List<Integer>, int) - Method in interface fr.univartois.cril.juniverse.pb.IUniversePseudoBooleanSolver

Creates an at-least cardinality constraint.

addAtLeast(List<Integer>, List<Integer>, int) - Method in interface fr.univartois.cril.juniverse.pb.IUniversePseudoBooleanSolver

Creates an at-least pseudo-Boolean constraint.

addAtLeast(List<Integer>, List<BigInteger>, BigInteger) - Method in interface fr.univartois.cril.juniverse.pb.IUniversePseudoBooleanSolver

Creates an at-least pseudo-Boolean constraint.

addAtLeast(List<String>, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an at-least constraint to this solver.

addAtMost(List<Integer>, int) - Method in interface fr.univartois.cril.juniverse.pb.IUniversePseudoBooleanSolver

Creates an at-most cardinality constraint.

addAtMost(List<Integer>, List<Integer>, int) - Method in interface fr.univartois.cril.juniverse.pb.IUniversePseudoBooleanSolver

Creates an at-most pseudo-Boolean constraint.

addAtMost(List<Integer>, List<BigInteger>, BigInteger) - Method in interface fr.univartois.cril.juniverse.pb.IUniversePseudoBooleanSolver

Creates an at-most pseudo-Boolean constraint.

addAtMost(List<String>, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an at-most constraint to this solver.

addBiDimensionalNoOverlap(List<String>, List<String>, List<String>, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a no-overlap constraint to this solver.

addBiDimensionalNoOverlap(List<String>, List<String>, List<String>, List<BigInteger>, boolean) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a no-overlap constraint to this solver.

addBinPacking(List<String>, List<BigInteger>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a bin-packing constraint to this solver.

addBinPacking(List<String>, List<BigInteger>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a bin-packing constraint to this solver.

addBinPacking(List<String>, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a bin-packing constraint to this solver.

addBinPacking(List<String>, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a bin-packing constraint to this solver.

addBinPackingWithConstantCapacities(List<String>, List<BigInteger>, List<BigInteger>, boolean) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a bin-packing constraint to this solver.

addBinPackingWithVariableCapacities(List<String>, List<BigInteger>, List<String>, boolean) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a bin-packing constraint to this solver.

addCardinalityWithConstantValuesAndConstantCounts(List<String>, List<BigInteger>, List<BigInteger>, boolean) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cardinality constraint to this solver.

addCardinalityWithConstantValuesAndConstantIntervalCounts(List<String>, List<BigInteger>, List<BigInteger>, List<BigInteger>, boolean) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cardinality constraint to this solver.

addCardinalityWithConstantValuesAndVariableCounts(List<String>, List<BigInteger>, List<String>, boolean) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cardinality constraint to this solver.

addCardinalityWithVariableValuesAndConstantCounts(List<String>, List<String>, List<BigInteger>, boolean) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cardinality constraint to this solver.

addCardinalityWithVariableValuesAndConstantIntervalCounts(List<String>, List<String>, List<BigInteger>, List<BigInteger>, boolean) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cardinality constraint to this solver.

addCardinalityWithVariableValuesAndVariableCounts(List<String>, List<String>, List<String>, boolean) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cardinality constraint to this solver.

addChannel(List<String>, int) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a channel constraint to this solver.

addChannel(List<String>, int, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a channel constraint to this solver.

addChannel(List<String>, int, List<String>, int) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a channel constraint to this solver.

addCircuit(List<String>, int) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a circuit constraint to this solver.

addCircuit(List<String>, int, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a circuit constraint to this solver.

addCircuit(List<String>, int, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a circuit constraint to this solver.

addClause(List<Integer>) - Method in interface fr.univartois.cril.juniverse.sat.IUniverseSatSolver

Adds to this solver a clause from a set of literals.

addClause(List<String>, List<String>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a clause constraint to this solver.

addConflicts(String, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an extension constraint describing the conflicts of a variable to this solver.

addConflicts(List<String>, List<List<BigInteger>>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an extension constraint describing the conflicts of a tuple of variables to this solver.

addConflictsSymbolic(String, List<String>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an extension constraint describing the conflicts of a variable to this solver.

addConflictsSymbolic(List<String>, List<List<String>>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an extension constraint describing the conflicts of a tuple of variables to this solver.

addConstraint(IUniverseConstraint) - Method in interface fr.univartois.cril.juniverse.core.problem.IUniverseProblem

Adds a constraint to this problem.

addCountIntensionWithConstantValues(List<IUniverseIntensionConstraint>, List<BigInteger>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a count constraint to this solver.

addCountIntensionWithConstantValues(List<IUniverseIntensionConstraint>, List<BigInteger>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a count constraint to this solver.

addCountIntensionWithConstantValues(List<IUniverseIntensionConstraint>, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a count constraint to this solver.

addCountIntensionWithConstantValues(List<IUniverseIntensionConstraint>, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a count constraint to this solver.

addCountWithConstantValues(List<String>, List<BigInteger>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a count constraint to this solver.

addCountWithConstantValues(List<String>, List<BigInteger>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a count constraint to this solver.

addCountWithConstantValues(List<String>, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a count constraint to this solver.

addCountWithConstantValues(List<String>, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a count constraint to this solver.

addCountWithVariableValues(List<String>, List<String>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a count constraint to this solver.

addCountWithVariableValues(List<String>, List<String>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a count constraint to this solver.

addCountWithVariableValues(List<String>, List<String>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a count constraint to this solver.

addCountWithVariableValues(List<String>, List<String>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a count constraint to this solver.

addCumulativeConstantLengthsConstantHeights(List<String>, List<BigInteger>, List<String>, List<BigInteger>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cumulative constraint to this solver.

addCumulativeConstantLengthsConstantHeights(List<String>, List<BigInteger>, List<String>, List<BigInteger>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cumulative constraint to this solver.

addCumulativeConstantLengthsConstantHeights(List<String>, List<BigInteger>, List<String>, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cumulative constraint to this solver.

addCumulativeConstantLengthsConstantHeights(List<String>, List<BigInteger>, List<String>, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cumulative constraint to this solver.

addCumulativeConstantLengthsConstantHeights(List<String>, List<BigInteger>, List<BigInteger>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cumulative constraint to this solver.

addCumulativeConstantLengthsConstantHeights(List<String>, List<BigInteger>, List<BigInteger>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cumulative constraint to this solver.

addCumulativeConstantLengthsConstantHeights(List<String>, List<BigInteger>, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cumulative constraint to this solver.

addCumulativeConstantLengthsConstantHeights(List<String>, List<BigInteger>, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cumulative constraint to this solver.

addCumulativeConstantLengthsVariableHeights(List<String>, List<BigInteger>, List<String>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cumulative constraint to this solver.

addCumulativeConstantLengthsVariableHeights(List<String>, List<BigInteger>, List<String>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cumulative constraint to this solver.

addCumulativeConstantLengthsVariableHeights(List<String>, List<BigInteger>, List<String>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cumulative constraint to this solver.

addCumulativeConstantLengthsVariableHeights(List<String>, List<BigInteger>, List<String>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cumulative constraint to this solver.

addCumulativeConstantLengthsVariableHeights(List<String>, List<BigInteger>, List<String>, List<String>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cumulative constraint to this solver.

addCumulativeConstantLengthsVariableHeights(List<String>, List<BigInteger>, List<String>, List<String>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cumulative constraint to this solver.

addCumulativeConstantLengthsVariableHeights(List<String>, List<BigInteger>, List<String>, List<String>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cumulative constraint to this solver.

addCumulativeConstantLengthsVariableHeights(List<String>, List<BigInteger>, List<String>, List<String>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cumulative constraint to this solver.

addCumulativeVariableLengthsConstantHeights(List<String>, List<String>, List<String>, List<BigInteger>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cumulative constraint to this solver.

addCumulativeVariableLengthsConstantHeights(List<String>, List<String>, List<String>, List<BigInteger>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cumulative constraint to this solver.

addCumulativeVariableLengthsConstantHeights(List<String>, List<String>, List<String>, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cumulative constraint to this solver.

addCumulativeVariableLengthsConstantHeights(List<String>, List<String>, List<String>, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cumulative constraint to this solver.

addCumulativeVariableLengthsConstantHeights(List<String>, List<String>, List<BigInteger>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cumulative constraint to this solver.

addCumulativeVariableLengthsConstantHeights(List<String>, List<String>, List<BigInteger>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cumulative constraint to this solver.

addCumulativeVariableLengthsConstantHeights(List<String>, List<String>, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cumulative constraint to this solver.

addCumulativeVariableLengthsConstantHeights(List<String>, List<String>, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cumulative constraint to this solver.

addCumulativeVariableLengthsVariableHeights(List<String>, List<String>, List<String>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cumulative constraint to this solver.

addCumulativeVariableLengthsVariableHeights(List<String>, List<String>, List<String>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cumulative constraint to this solver.

addCumulativeVariableLengthsVariableHeights(List<String>, List<String>, List<String>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cumulative constraint to this solver.

addCumulativeVariableLengthsVariableHeights(List<String>, List<String>, List<String>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cumulative constraint to this solver.

addCumulativeVariableLengthsVariableHeights(List<String>, List<String>, List<String>, List<String>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cumulative constraint to this solver.

addCumulativeVariableLengthsVariableHeights(List<String>, List<String>, List<String>, List<String>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cumulative constraint to this solver.

addCumulativeVariableLengthsVariableHeights(List<String>, List<String>, List<String>, List<String>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cumulative constraint to this solver.

addCumulativeVariableLengthsVariableHeights(List<String>, List<String>, List<String>, List<String>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a cumulative constraint to this solver.

addElement(List<String>, int, String, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an element constraint to this solver.

addElement(List<String>, int, String, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an element constraint to this solver.

addElement(List<String>, int, String, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an element constraint to this solver.

addElement(List<String>, int, String, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an element constraint to this solver.

addElement(List<String>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an element constraint to this solver.

addElement(List<String>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an element constraint to this solver.

addElement(List<String>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an element constraint to this solver.

addElement(List<String>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an element constraint to this solver.

addElementConstantMatrix(List<List<BigInteger>>, int, String, int, String, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an element constraint to this solver.

addElementConstantMatrix(List<List<BigInteger>>, int, String, int, String, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an element constraint to this solver.

addElementConstantMatrix(List<List<BigInteger>>, int, String, int, String, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an element constraint to this solver.

addElementConstantMatrix(List<List<BigInteger>>, int, String, int, String, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an element constraint to this solver.

addElementConstantValues(List<BigInteger>, int, String, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an element constraint to this solver.

addElementConstantValues(List<BigInteger>, int, String, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an element constraint to this solver.

addElementConstantValues(List<BigInteger>, int, String, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an element constraint to this solver.

addElementConstantValues(List<BigInteger>, int, String, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an element constraint to this solver.

addElementMatrix(List<List<String>>, int, String, int, String, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an element constraint to this solver.

addElementMatrix(List<List<String>>, int, String, int, String, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an element constraint to this solver.

addElementMatrix(List<List<String>>, int, String, int, String, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an element constraint to this solver.

addElementMatrix(List<List<String>>, int, String, int, String, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an element constraint to this solver.

addExactly(List<Integer>, int) - Method in interface fr.univartois.cril.juniverse.pb.IUniversePseudoBooleanSolver

Creates an exactly cardinality constraint.

addExactly(List<Integer>, List<Integer>, int) - Method in interface fr.univartois.cril.juniverse.pb.IUniversePseudoBooleanSolver

Creates an exactly pseudo-Boolean constraint.

addExactly(List<Integer>, List<BigInteger>, BigInteger) - Method in interface fr.univartois.cril.juniverse.pb.IUniversePseudoBooleanSolver

Creates an exactly pseudo-Boolean constraint.

addExactly(List<String>, BigInteger, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an exactly constraint to this solver.

addExactly(List<String>, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an exactly constraint to this solver.

addFlow(List<String>, List<BigInteger>, List<List<BigInteger>>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a flow constraint to this solver.

addFlow(List<String>, List<BigInteger>, List<List<BigInteger>>, List<BigInteger>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a flow constraint to this solver.

addFlow(List<String>, List<BigInteger>, List<List<BigInteger>>, List<BigInteger>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a flow constraint to this solver.

addFlow(List<String>, List<BigInteger>, List<List<BigInteger>>, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a flow constraint to this solver.

addFlow(List<String>, List<BigInteger>, List<List<BigInteger>>, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a flow constraint to this solver.

addInstantiation(String, int) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an instantiation constraint to this solver.

addInstantiation(String, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an instantiation constraint to this solver.

addInstantiation(List<String>, List<? extends Number>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an instantiation constraint to this solver.

addInstantiationSymbolic(String, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an instantiation constraint to this solver.

addInstantiationSymbolic(List<String>, List<String>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an instantiation constraint to this solver.

addIntension(IUniverseIntensionConstraint) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an intension constraint to this solver.

addKnapsack(List<String>, List<BigInteger>, UniverseRelationalOperator, String, List<BigInteger>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a knapsack constraint to this solver.

addKnapsack(List<String>, List<BigInteger>, UniverseRelationalOperator, String, List<BigInteger>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a knapsack constraint to this solver.

addKnapsack(List<String>, List<BigInteger>, UniverseRelationalOperator, String, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a knapsack constraint to this solver.

addKnapsack(List<String>, List<BigInteger>, UniverseRelationalOperator, String, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a knapsack constraint to this solver.

addKnapsack(List<String>, List<BigInteger>, UniverseRelationalOperator, BigInteger, List<BigInteger>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a knapsack constraint to this solver.

addKnapsack(List<String>, List<BigInteger>, UniverseRelationalOperator, BigInteger, List<BigInteger>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a knapsack constraint to this solver.

addKnapsack(List<String>, List<BigInteger>, UniverseRelationalOperator, BigInteger, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a knapsack constraint to this solver.

addKnapsack(List<String>, List<BigInteger>, UniverseRelationalOperator, BigInteger, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a knapsack constraint to this solver.

addKnapsack(List<String>, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger, List<BigInteger>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a knapsack constraint to this solver.

addKnapsack(List<String>, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger, List<BigInteger>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a knapsack constraint to this solver.

addKnapsack(List<String>, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a knapsack constraint to this solver.

addKnapsack(List<String>, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a knapsack constraint to this solver.

addKnapsack(List<String>, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>, List<BigInteger>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a knapsack constraint to this solver.

addKnapsack(List<String>, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>, List<BigInteger>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a knapsack constraint to this solver.

addKnapsack(List<String>, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a knapsack constraint to this solver.

addKnapsack(List<String>, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a knapsack constraint to this solver.

addLex(List<String>, List<BigInteger>, UniverseRelationalOperator) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a lex constraint to this solver.

addLex(List<List<String>>, UniverseRelationalOperator) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a lex constraint to this solver.

addLexMatrix(List<List<String>>, UniverseRelationalOperator) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a lex-matrix constraint to this solver.

addLogical(UniverseBooleanOperator, List<String>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a logical constraint to this solver.

addLogical(String, boolean, UniverseBooleanOperator, List<String>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a logical constraint to this solver.

addLogical(String, String, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a logical constraint to this solver.

addLogical(String, String, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a logical constraint to this solver.

addMaximum(List<String>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a maximum constraint to this solver.

addMaximum(List<String>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a maximum constraint to this solver.

addMaximum(List<String>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a maximum constraint to this solver.

addMaximum(List<String>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a maximum constraint to this solver.

addMaximumArg(List<String>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a maximum-arg constraint to this solver.

addMaximumArg(List<String>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a maximum-arg constraint to this solver.

addMaximumArg(List<String>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a maximum-arg constraint to this solver.

addMaximumArg(List<String>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a maximum-arg constraint to this solver.

addMaximumArgIntension(List<IUniverseIntensionConstraint>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a maximum-arg constraint to this solver.

addMaximumArgIntension(List<IUniverseIntensionConstraint>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a maximum-arg constraint to this solver.

addMaximumArgIntension(List<IUniverseIntensionConstraint>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a maximum-arg constraint to this solver.

addMaximumArgIntension(List<IUniverseIntensionConstraint>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a maximum-arg constraint to this solver.

addMaximumIndex(List<String>, int, String, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a maximum constraint to this solver.

addMaximumIndex(List<String>, int, String, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a maximum constraint to this solver.

addMaximumIndex(List<String>, int, String, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a maximum constraint to this solver.

addMaximumIndex(List<String>, int, String, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a maximum constraint to this solver.

addMaximumIntension(List<IUniverseIntensionConstraint>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a maximum constraint to this solver.

addMaximumIntension(List<IUniverseIntensionConstraint>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a maximum constraint to this solver.

addMaximumIntension(List<IUniverseIntensionConstraint>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a maximum constraint to this solver.

addMaximumIntension(List<IUniverseIntensionConstraint>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a maximum constraint to this solver.

addMDD(List<String>, List<UniverseTransition>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an mdd constraint to this solver.

addMinimum(List<String>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a minimum constraint to this solver.

addMinimum(List<String>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a minimum constraint to this solver.

addMinimum(List<String>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a minimum constraint to this solver.

addMinimum(List<String>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a minimum constraint to this solver.

addMinimumArg(List<String>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a minimum-arg constraint to this solver.

addMinimumArg(List<String>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a minimum-arg constraint to this solver.

addMinimumArg(List<String>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a minimum-arg constraint to this solver.

addMinimumArg(List<String>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a minimum-arg constraint to this solver.

addMinimumArgIntension(List<IUniverseIntensionConstraint>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a minimum-arg constraint to this solver.

addMinimumArgIntension(List<IUniverseIntensionConstraint>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a minimum-arg constraint to this solver.

addMinimumArgIntension(List<IUniverseIntensionConstraint>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a minimum-arg constraint to this solver.

addMinimumArgIntension(List<IUniverseIntensionConstraint>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a minimum-arg constraint to this solver.

addMinimumIndex(List<String>, int, String, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a minimum constraint to this solver.

addMinimumIndex(List<String>, int, String, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a minimum constraint to this solver.

addMinimumIndex(List<String>, int, String, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a minimum constraint to this solver.

addMinimumIndex(List<String>, int, String, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a minimum constraint to this solver.

addMinimumIntension(List<IUniverseIntensionConstraint>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a minimum constraint to this solver.

addMinimumIntension(List<IUniverseIntensionConstraint>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a minimum constraint to this solver.

addMinimumIntension(List<IUniverseIntensionConstraint>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a minimum constraint to this solver.

addMinimumIntension(List<IUniverseIntensionConstraint>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a minimum constraint to this solver.

addMultiDimensionalNoOverlap(List<List<String>>, List<List<BigInteger>>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a no-overlap constraint to this solver.

addMultiDimensionalNoOverlap(List<List<String>>, List<List<BigInteger>>, boolean) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a no-overlap constraint to this solver.

addMultiDimensionalNoOverlapVariableLength(List<List<String>>, List<List<String>>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a no-overlap constraint to this solver.

addMultiDimensionalNoOverlapVariableLength(List<List<String>>, List<List<String>>, boolean) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a no-overlap constraint to this solver.

addNoOverlap(List<String>, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a no-overlap constraint to this solver.

addNoOverlap(List<String>, List<BigInteger>, boolean) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a no-overlap constraint to this solver.

addNoOverlapVariableLength(List<String>, List<String>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a no-overlap constraint to this solver.

addNoOverlapVariableLength(List<String>, List<String>, boolean) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a no-overlap constraint to this solver.

addNotAllEqual(List<String>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a not-all-equal constraint to this solver.

addNValues(List<String>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an n-values constraint to this solver.

addNValues(List<String>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an n-values constraint to this solver.

addNValues(List<String>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an n-values constraint to this solver.

addNValues(List<String>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an n-values constraint to this solver.

addNValuesExcept(List<String>, UniverseRelationalOperator, String, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an n-values constraint to this solver.

addNValuesExcept(List<String>, UniverseRelationalOperator, BigInteger, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an n-values constraint to this solver.

addNValuesExcept(List<String>, UniverseSetBelongingOperator, BigInteger, BigInteger, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an n-values constraint to this solver.

addNValuesExcept(List<String>, UniverseSetBelongingOperator, List<BigInteger>, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an n-values constraint to this solver.

addNValuesIntension(List<IUniverseIntensionConstraint>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an n-values constraint to this solver.

addNValuesIntension(List<IUniverseIntensionConstraint>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an n-values constraint to this solver.

addNValuesIntension(List<IUniverseIntensionConstraint>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an n-values constraint to this solver.

addNValuesIntension(List<IUniverseIntensionConstraint>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an n-values constraint to this solver.

addOrdered(List<String>, UniverseRelationalOperator) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an ordered constraint to this solver.

addOrderedWithConstantLength(List<String>, List<BigInteger>, UniverseRelationalOperator) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an ordered constraint to this solver.

addOrderedWithVariableLength(List<String>, List<String>, UniverseRelationalOperator) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an ordered constraint to this solver.

addParameter(String, Class<T>, T) - Method in class fr.univartois.cril.juniverse.config.UniverseConfiguration

Adds a parameter to this configuration.

addParameter(String, Object) - Method in class fr.univartois.cril.juniverse.config.UniverseConfiguration

Adds a parameter to this configuration.

addPrecedence(List<String>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a precedence constraint to this solver.

addPrecedence(List<String>, List<BigInteger>, boolean) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a precedence constraint to this solver.

addPrimitive(UniverseArithmeticOperator, String, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a primitive constraint to this solver.

addPrimitive(String, UniverseArithmeticOperator, String, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a primitive constraint to this solver.

addPrimitive(String, UniverseArithmeticOperator, String, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a primitive constraint to this solver.

addPrimitive(String, UniverseArithmeticOperator, BigInteger, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a primitive constraint to this solver.

addPrimitive(String, UniverseArithmeticOperator, BigInteger, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a primitive constraint to this solver.

addPrimitive(String, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a primitive constraint to this solver.

addPrimitive(String, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a primitive constraint to this solver.

addPrimitive(String, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a primitive constraint to this solver.

addPseudoBoolean(List<Integer>, List<BigInteger>, boolean, BigInteger) - Method in interface fr.univartois.cril.juniverse.pb.IUniversePseudoBooleanSolver

Creates a pseudo-Boolean constraint of type at-least or at-most.

addRegular(List<String>, List<UniverseTransition>, String, List<String>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a regular constraint to this solver.

addSearchListener(IUniverseSearchListener) - Method in interface fr.univartois.cril.juniverse.core.IUniverseSolver

Adds a listener to this solver, which listens to the events occurring in the solver during the search.

addStretch(List<String>, List<BigInteger>, List<BigInteger>, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a stretch constraint to this solver.

addStretch(List<String>, List<BigInteger>, List<BigInteger>, List<BigInteger>, List<List<BigInteger>>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a stretch constraint to this solver.

addSum(List<String>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a sum constraint to this solver.

addSum(List<String>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a sum constraint to this solver.

addSum(List<String>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a sum constraint to this solver.

addSum(List<String>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a sum constraint to this solver.

addSum(List<String>, List<BigInteger>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a sum constraint to this solver.

addSum(List<String>, List<BigInteger>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a sum constraint to this solver.

addSum(List<String>, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a sum constraint to this solver.

addSum(List<String>, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a sum constraint to this solver.

addSumIntension(List<IUniverseIntensionConstraint>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a sum constraint to this solver.

addSumIntension(List<IUniverseIntensionConstraint>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a sum constraint to this solver.

addSumIntension(List<IUniverseIntensionConstraint>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a sum constraint to this solver.

addSumIntension(List<IUniverseIntensionConstraint>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a sum constraint to this solver.

addSumIntension(List<IUniverseIntensionConstraint>, List<BigInteger>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a sum constraint to this solver.

addSumIntension(List<IUniverseIntensionConstraint>, List<BigInteger>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a sum constraint to this solver.

addSumIntension(List<IUniverseIntensionConstraint>, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a sum constraint to this solver.

addSumIntension(List<IUniverseIntensionConstraint>, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a sum constraint to this solver.

addSumIntensionWithVariableCoefficients(List<IUniverseIntensionConstraint>, List<String>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a sum constraint to this solver.

addSumIntensionWithVariableCoefficients(List<IUniverseIntensionConstraint>, List<String>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a sum constraint to this solver.

addSumIntensionWithVariableCoefficients(List<IUniverseIntensionConstraint>, List<String>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a sum constraint to this solver.

addSumIntensionWithVariableCoefficients(List<IUniverseIntensionConstraint>, List<String>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a sum constraint to this solver.

addSumWithVariableCoefficients(List<String>, List<String>, UniverseRelationalOperator, String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a sum constraint to this solver.

addSumWithVariableCoefficients(List<String>, List<String>, UniverseRelationalOperator, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a sum constraint to this solver.

addSumWithVariableCoefficients(List<String>, List<String>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a sum constraint to this solver.

addSumWithVariableCoefficients(List<String>, List<String>, UniverseSetBelongingOperator, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a sum constraint to this solver.

addSupport(String, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an extension constraint describing the support of a variable to this solver.

addSupport(List<String>, List<List<BigInteger>>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an extension constraint describing the support of a tuple of variables to this solver.

addSupportSymbolic(String, List<String>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an extension constraint describing the support of a variable to this solver.

addSupportSymbolic(List<String>, List<List<String>>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an extension constraint describing the support of a tuple of variables to this solver.

addVariable(IUniverseVariable) - Method in interface fr.univartois.cril.juniverse.core.problem.IUniverseProblem

Adds a variable to this problem.

and(IUniverseIntensionConstraint...) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the conjunction operator.

and(List<IUniverseIntensionConstraint>) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the conjunction operator.

AND - Enum constant in enum class fr.univartois.cril.juniverse.csp.operator.UniverseBooleanOperator

The Boolean operator for computing the conjunction of several Boolean values.

B

binary(UniverseOperator, IUniverseIntensionConstraint, IUniverseIntensionConstraint) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates a new binary intension constraint.

C

checkSolution() - Method in interface fr.univartois.cril.juniverse.core.IUniverseSolver

Checks the last solution that has been computed by the solver.

checkSolution(Map<String, BigInteger>) - Method in interface fr.univartois.cril.juniverse.core.IUniverseSolver

Checks whether the given assignment is a solution of the problem.

cleanNow() - Method in interface fr.univartois.cril.juniverse.config.IUniverseConfigurableSolver

Forces this solver to clean its learned constraints now.

constant(long) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Wraps a constant value in its representation as an intension constraint.

constant(BigInteger) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Wraps a constant value in its representation as an intension constraint.

createCspSolver() - Method in interface fr.univartois.cril.juniverse.utils.IUniverseSolverFactory

Creates a CSP solver implementing JUniverse's interface.

createPseudoBooleanSolver() - Method in interface fr.univartois.cril.juniverse.utils.IUniverseSolverFactory

Creates a pseudo-Boolean solver implementing JUniverse's interface.

createSatSolver() - Method in interface fr.univartois.cril.juniverse.utils.IUniverseSolverFactory

Creates a SAT solver implementing JUniverse's interface.

currentSize() - Method in interface fr.univartois.cril.juniverse.core.problem.IUniverseDomain

Gives the current size of this domain, measured in number of values.

D

decisionVariables(List<String>) - Method in interface fr.univartois.cril.juniverse.core.IUniverseSolver

Advises this solver to focus on some variables to make decisions.

dist(IUniverseIntensionConstraint, IUniverseIntensionConstraint) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the distance operator.

DIST - Enum constant in enum class fr.univartois.cril.juniverse.csp.operator.UniverseArithmeticOperator

The arithmetic operator for computing the distance between two values.

div(IUniverseIntensionConstraint, IUniverseIntensionConstraint) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the division operator.

DIV - Enum constant in enum class fr.univartois.cril.juniverse.csp.operator.UniverseArithmeticOperator

The arithmetic operator for computing the division of two values.

E

end(UniverseSolverResult) - Method in interface fr.univartois.cril.juniverse.listener.IUniverseSearchListener

Notifies this listener that the solver has ended its search.

eq(IUniverseIntensionConstraint...) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the equal operator.

eq(List<IUniverseIntensionConstraint>) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the equal operator.

EQ - Enum constant in enum class fr.univartois.cril.juniverse.csp.operator.UniverseRelationalOperator

The equal (==) relational operator.

equiv(IUniverseIntensionConstraint...) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the equivalence operator.

equiv(List<IUniverseIntensionConstraint>) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the equivalence operator.

EQUIV - Enum constant in enum class fr.univartois.cril.juniverse.csp.operator.UniverseBooleanOperator

The Boolean operator for computing the equivalence of several Boolean values.

F

fr.univartois.cril.juniverse - module fr.univartois.cril.juniverse

The fr.univartois.cril.juniverse module provides universal interfaces for solving constraint problems.

fr.univartois.cril.juniverse.config - package fr.univartois.cril.juniverse.config

The fr.univartois.cril.juniverse.config package provides classes and interfaces allowing to finely configure a solver.

fr.univartois.cril.juniverse.core - package fr.univartois.cril.juniverse.core

The fr.univartois.cril.juniverse.core package provides classes and interfaces common to all kinds of constraint solvers.

fr.univartois.cril.juniverse.core.problem - package fr.univartois.cril.juniverse.core.problem

The fr.univartois.cril.juniverse.core.problem package provides the representation of a constraint problem.

fr.univartois.cril.juniverse.csp - package fr.univartois.cril.juniverse.csp

The fr.univartois.cril.juniverse.csp package provides the classes for solving CSP problems.

fr.univartois.cril.juniverse.csp.intension - package fr.univartois.cril.juniverse.csp.intension

The fr.univartois.cril.juniverse.csp.intension package provides the classes for representing intension constraints.

fr.univartois.cril.juniverse.csp.operator - package fr.univartois.cril.juniverse.csp.operator

The fr.univartois.cril.juniverse.csp.operator package provides the classes representing the operators used in constraints.

fr.univartois.cril.juniverse.listener - package fr.univartois.cril.juniverse.listener

The fr.univartois.cril.juniverse.listener package provides interfaces for listening to the search events occurring in the solver.

fr.univartois.cril.juniverse.optim - package fr.univartois.cril.juniverse.optim

The fr.univartois.cril.juniverse.optim package provides the classes for solving optimization problems.

fr.univartois.cril.juniverse.pb - package fr.univartois.cril.juniverse.pb

The fr.univartois.cril.juniverse.pb package provides the classes for solving pseudo-Boolean problems.

fr.univartois.cril.juniverse.sat - package fr.univartois.cril.juniverse.sat

The fr.univartois.cril.juniverse.sat package provides the classes for solving SAT problems.

fr.univartois.cril.juniverse.utils - package fr.univartois.cril.juniverse.utils

The fr.univartois.cril.juniverse.utils package provides utility classes for JUniverse implementations.

G

ge(IUniverseIntensionConstraint, IUniverseIntensionConstraint) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the greater-or-equal operator.

GE - Enum constant in enum class fr.univartois.cril.juniverse.csp.operator.UniverseRelationalOperator

The greater-than-or-equal (>=) relational operator.

get(String) - Method in class fr.univartois.cril.juniverse.config.UniverseConfiguration

Gives the value of the given parameter.

getArity() - Method in class fr.univartois.cril.juniverse.csp.intension.UniverseNaryIntensionConstraint

Gives the arity of this constraint.

getAuxiliaryVariables() - Method in interface fr.univartois.cril.juniverse.core.IUniverseSolver

Gives the list of the auxiliary variables used by the solver.

getConstraints() - Method in interface fr.univartois.cril.juniverse.core.IUniverseSolver

Gives the list of the constraints in this solver.

getConstraints() - Method in interface fr.univartois.cril.juniverse.core.problem.IUniverseProblem

Gives the constraints in this problem.

getConstraints() - Method in interface fr.univartois.cril.juniverse.core.problem.IUniverseVariable

Gives the constraints containing this variable.

getCurrentBound() - Method in interface fr.univartois.cril.juniverse.optim.IUniverseOptimizationSolver

Gives the current (best) bound that have been found by this solver.

getCurrentLearntConstraintDeletionStrategy() - Method in interface fr.univartois.cril.juniverse.config.IUniverseConfigurableSolver

Gives the learned constraint deletion strategy currently used by this solver.

getCurrentRestartPolicy() - Method in interface fr.univartois.cril.juniverse.config.IUniverseConfigurableSolver

Gives the restart policy currently used by this solver.

getCurrentSolverConfiguration() - Method in interface fr.univartois.cril.juniverse.config.IUniverseConfigurableSolver

Gives the "main" solver configuration currently used this solver.

getCurrentValues() - Method in interface fr.univartois.cril.juniverse.core.problem.IUniverseDomain

Gives the list of values of the current domain.

getCurrentValueSelectionHeuristic() - Method in interface fr.univartois.cril.juniverse.config.IUniverseConfigurableSolver

Gives the value selection heuristic currently used by this solver.

getCurrentVariableSelectionHeuristic() - Method in interface fr.univartois.cril.juniverse.config.IUniverseConfigurableSolver

Gives the variable selection heuristic currently used by this solver.

getDomain() - Method in interface fr.univartois.cril.juniverse.core.problem.IUniverseVariable

Gives the domain of this variable.

getEnd() - Method in class fr.univartois.cril.juniverse.csp.UniverseTransition

Gives the target state, where the transition ends.

getFactories() - Method in class fr.univartois.cril.juniverse.utils.SolverFactoryLoader

Gives a list of instances of all available IUniverseSolverFactory implementations in the classpath.

getId() - Method in interface fr.univartois.cril.juniverse.core.problem.IUniverseVariable

Gives the (internal) identifier of this variable.

getIdentifier() - Method in class fr.univartois.cril.juniverse.csp.intension.UniverseVariableIntensionConstraint

Gives the identifier of the variable of this constraint.

getInstance() - Static method in class fr.univartois.cril.juniverse.utils.SolverFactoryLoader

Gives the single instance of SolverFactoryLoader.

getLearnedConstraintDeletionStrategies() - Method in interface fr.univartois.cril.juniverse.config.IUniverseConfigurableSolver

Gives all configurations recognized by this solver for its learned constraint deletion strategies.

getLowerBound() - Method in interface fr.univartois.cril.juniverse.optim.IUniverseOptimizationSolver

Gives the current (best) lower bound of the underlying optimization problem.

getMax() - Method in class fr.univartois.cril.juniverse.csp.intension.UniverseRangeIntensionConstraint

Gives the maximum value of this range.

getMin() - Method in class fr.univartois.cril.juniverse.csp.intension.UniverseRangeIntensionConstraint

Gives the minimum value of this range.

getName() - Method in class fr.univartois.cril.juniverse.config.UniverseConfiguration

Gives the name of the strategy being configured.

getName() - Method in interface fr.univartois.cril.juniverse.core.problem.IUniverseVariable

Gives the name of this variable.

getOperator() - Method in class fr.univartois.cril.juniverse.csp.intension.UniverseOperatorIntensionConstraint

Gives the operator applied by this constraint.

getParameters() - Method in class fr.univartois.cril.juniverse.config.UniverseConfiguration

Gives the parameter that are recognized to configure the associated strategy.

getRestartPolicies() - Method in interface fr.univartois.cril.juniverse.config.IUniverseConfigurableSolver

Gives all configurations recognized by this solver for its restart policy.

getScore() - Method in interface fr.univartois.cril.juniverse.core.problem.IUniverseConstraint

Gives the score of this constraint, as computed by the solver.

getSolverConfigurations() - Method in interface fr.univartois.cril.juniverse.config.IUniverseConfigurableSolver

Gives all "main" solver configurations for this solver.

getStart() - Method in class fr.univartois.cril.juniverse.csp.UniverseTransition

Gives the source state, where the transition begins.

getTypeOf(String) - Method in class fr.univartois.cril.juniverse.config.UniverseConfiguration

Gives the type of the given parameter.

getUpperBound() - Method in interface fr.univartois.cril.juniverse.optim.IUniverseOptimizationSolver

Gives the current (best) upper bound of the underlying optimization problem.

getValue() - Method in class fr.univartois.cril.juniverse.core.UniverseAssumption

Gives the assumed value.

getValue() - Method in class fr.univartois.cril.juniverse.csp.intension.UniverseConstantIntensionConstraint

Gives the value of the constant.

getValue() - Method in class fr.univartois.cril.juniverse.csp.UniverseTransition

Gives the value (object) labeling the transition.

getValues() - Method in interface fr.univartois.cril.juniverse.core.problem.IUniverseDomain

Gives the list of values of the initial domain.

getValueSelectionHeuristics() - Method in interface fr.univartois.cril.juniverse.config.IUniverseConfigurableSolver

Gives all configurations recognized by this solver for its value selection heuristic.

getVariableId() - Method in class fr.univartois.cril.juniverse.core.UniverseAssumption

Gives the name of the variable involved in this assumption.

getVariables() - Method in interface fr.univartois.cril.juniverse.core.problem.IUniverseProblem

Gives the variables in this problem.

getVariableSelectionHeuristics() - Method in interface fr.univartois.cril.juniverse.config.IUniverseConfigurableSolver

Gives all configurations recognized by this solver for its variable selection heuristic.

getVariablesMapping() - Method in interface fr.univartois.cril.juniverse.core.IUniverseSolver

Gives the mapping of the variables in this solver.

gt(IUniverseIntensionConstraint, IUniverseIntensionConstraint) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the greater-than operator.

GT - Enum constant in enum class fr.univartois.cril.juniverse.csp.operator.UniverseRelationalOperator

The greater-than (>) relational operator.

I

impl(IUniverseIntensionConstraint, IUniverseIntensionConstraint) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the implication operator.

IMPL - Enum constant in enum class fr.univartois.cril.juniverse.csp.operator.UniverseBooleanOperator

The Boolean operator for computing the implication between two Boolean values.

in(IUniverseIntensionConstraint, IUniverseIntensionConstraint...) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the in operator w.r.t.

in(IUniverseIntensionConstraint, BigInteger, BigInteger) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the in operator w.r.t.

in(IUniverseIntensionConstraint, List<IUniverseIntensionConstraint>) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the in operator w.r.t.

IN - Enum constant in enum class fr.univartois.cril.juniverse.csp.operator.UniverseSetBelongingOperator

The operator checking whether a value belongs to a set of values.

interrupt() - Method in interface fr.univartois.cril.juniverse.core.IUniverseSolver

Interrupts (asynchronously) the search currently performed by this solver.

isEqual() - Method in class fr.univartois.cril.juniverse.core.UniverseAssumption

Checks whether this assumption represents an equality.

isIgnored() - Method in interface fr.univartois.cril.juniverse.core.problem.IUniverseConstraint

Checks whether this constraint must be ignored by the solver.

isMinimization() - Method in interface fr.univartois.cril.juniverse.optim.IUniverseOptimizationSolver

Checks whether the underlying problem is a minimization problem.

isOptimization() - Method in interface fr.univartois.cril.juniverse.core.IUniverseSolver

Checks whether the associated problem is an optimization problem.

ite(IUniverseIntensionConstraint, IUniverseIntensionConstraint, IUniverseIntensionConstraint) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the if-then-else operator.

IUniverseConfigurableSolver - Interface in fr.univartois.cril.juniverse.config

The IUniverseConfigurableSolver interface defines the contract of a solver that can be configured.

IUniverseConstraint - Interface in fr.univartois.cril.juniverse.core.problem

The IUniverseConstraint represents a constraint in constraint problem.

IUniverseCSPSolver - Interface in fr.univartois.cril.juniverse.csp

The IUniverseCSPSolver interface defines the contract for CSP solvers.

IUniverseDomain - Interface in fr.univartois.cril.juniverse.core.problem

The IUniverseDomain represents the domain of a IUniverseVariable in a constraint problem.

IUniverseIntensionConstraint - Interface in fr.univartois.cril.juniverse.csp.intension

The IUniverseIntensionConstraint defines an interface for representing the abstract syntax tree of an intension constraint.

IUniverseIntensionConstraintVisitor - Interface in fr.univartois.cril.juniverse.csp.intension

The IUniverseIntensionConstraintVisitor allows visiting intension constraints to discover its semantics.

IUniverseOptimizationSolver - Interface in fr.univartois.cril.juniverse.optim

The IUniversePseudoBooleanSolver interface defines the contract for optimization solvers.

IUniverseProblem - Interface in fr.univartois.cril.juniverse.core.problem

The IUniverseProblem represents a constraint problem to solve.

IUniversePseudoBooleanSolver - Interface in fr.univartois.cril.juniverse.pb

The IUniversePseudoBooleanSolver interface defines the contract for pseudo-Boolean solvers.

IUniverseSatSolver - Interface in fr.univartois.cril.juniverse.sat

The IUniverseSatSolver interface defines the contract for SAT solvers.

IUniverseSearchListener - Interface in fr.univartois.cril.juniverse.listener

The IUniverseSearchListener interface defines a listener for listening to the events occurring during the search performed by a solver.

IUniverseSolver - Interface in fr.univartois.cril.juniverse.core

The IUniverseSolver interface is the root interface defining the base contract for all solvers.

IUniverseSolverFactory - Interface in fr.univartois.cril.juniverse.utils

The IUniverseSolverFactory defines an abstract factory for instantiating solvers implementing different interfaces.

IUniverseVariable - Interface in fr.univartois.cril.juniverse.core.problem

The IUniverseVariable represents a variable in a constraint problem.

K

keepValues(BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.core.problem.IUniverseDomain

Keeps in this domain only the values between min and max.

keepValues(List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.core.problem.IUniverseDomain

Keeps in this domain only the values between values.

L

le(IUniverseIntensionConstraint, IUniverseIntensionConstraint) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the less-or-equal operator.

LE - Enum constant in enum class fr.univartois.cril.juniverse.csp.operator.UniverseRelationalOperator

The lesser-than-or-equal (<=) relational operator.

loadInstance(String) - Method in interface fr.univartois.cril.juniverse.core.IUniverseSolver

Loads a problem stored in the given file.

lt(IUniverseIntensionConstraint, IUniverseIntensionConstraint) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the less-than operator.

LT - Enum constant in enum class fr.univartois.cril.juniverse.csp.operator.UniverseRelationalOperator

The lesser-than (<) relational operator.

M

mapSolution() - Method in interface fr.univartois.cril.juniverse.core.IUniverseSolver

Gives the mapping between the names of the variables and the assignment found by this solver (if any).

mapSolution(boolean) - Method in interface fr.univartois.cril.juniverse.core.IUniverseSolver

Gives the mapping between the names of the variables and the assignment found by this solver (if any).

max() - Method in interface fr.univartois.cril.juniverse.core.problem.IUniverseDomain

Gives the maximum value of this domain.

max(IUniverseIntensionConstraint...) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the maximum operator.

max(List<IUniverseIntensionConstraint>) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the maximum operator.

MAX - Enum constant in enum class fr.univartois.cril.juniverse.csp.operator.UniverseArithmeticOperator

The arithmetic operator for computing the maximum of several values.

maximizeExpression(IUniverseIntensionConstraint) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to maximize the value of an expression.

maximizeExpressionMaximum(List<IUniverseIntensionConstraint>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to maximize the maximum of expressions.

maximizeExpressionMaximum(List<IUniverseIntensionConstraint>, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to maximize the maximum of expressions.

maximizeExpressionMinimum(List<IUniverseIntensionConstraint>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to maximize the minimum of expressions.

maximizeExpressionMinimum(List<IUniverseIntensionConstraint>, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to maximize the minimum of expressions.

maximizeExpressionNValues(List<IUniverseIntensionConstraint>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to maximize the number of values assigned to expressions.

maximizeExpressionNValues(List<IUniverseIntensionConstraint>, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to maximize the number of values assigned to expressions.

maximizeExpressionProduct(List<IUniverseIntensionConstraint>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to maximize a product of expressions.

maximizeExpressionProduct(List<IUniverseIntensionConstraint>, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to maximize a product of expressions.

maximizeExpressionSum(List<IUniverseIntensionConstraint>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to maximize a sum of expressions.

maximizeExpressionSum(List<IUniverseIntensionConstraint>, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to maximize a sum of expressions.

maximizeMaximum(List<String>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to maximize the maximum of variables.

maximizeMaximum(List<String>, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to maximize the maximum of variables.

maximizeMinimum(List<String>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to maximize the minimum of variables.

maximizeMinimum(List<String>, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to maximize the minimum of variables.

maximizeNValues(List<String>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to maximize the number of values assigned to variables.

maximizeNValues(List<String>, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to maximize the number of values assigned to variables.

maximizeProduct(List<String>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to maximize a product of variables.

maximizeProduct(List<String>, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to maximize a product of variables.

maximizeSum(List<String>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to maximize a sum of variables.

maximizeSum(List<String>, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to maximize a sum of variables.

maximizeVariable(String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to maximize the value assigned to a variable.

min() - Method in interface fr.univartois.cril.juniverse.core.problem.IUniverseDomain

Gives the minimum value of this domain.

min(IUniverseIntensionConstraint...) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the minimum operator.

min(List<IUniverseIntensionConstraint>) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the minimum operator.

MIN - Enum constant in enum class fr.univartois.cril.juniverse.csp.operator.UniverseArithmeticOperator

The arithmetic operator for computing the minimum of several values.

minimizeExpression(IUniverseIntensionConstraint) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to minimize the value of an expression.

minimizeExpressionMaximum(List<IUniverseIntensionConstraint>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to minimize the maximum of expressions.

minimizeExpressionMaximum(List<IUniverseIntensionConstraint>, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to minimize the maximum of expressions.

minimizeExpressionMinimum(List<IUniverseIntensionConstraint>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to minimize the minimum of expressions.

minimizeExpressionMinimum(List<IUniverseIntensionConstraint>, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to minimize the minimum of expressions.

minimizeExpressionNValues(List<IUniverseIntensionConstraint>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to minimize the number of values assigned to expressions.

minimizeExpressionNValues(List<IUniverseIntensionConstraint>, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to minimize the number of values assigned to expressions.

minimizeExpressionProduct(List<IUniverseIntensionConstraint>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to minimize a product of expressions.

minimizeExpressionProduct(List<IUniverseIntensionConstraint>, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to minimize a product of expressions.

minimizeExpressionSum(List<IUniverseIntensionConstraint>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to minimize a sum of expressions.

minimizeExpressionSum(List<IUniverseIntensionConstraint>, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to minimize a sum of expressions.

minimizeMaximum(List<String>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to minimize the maximum of variables.

minimizeMaximum(List<String>, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to minimize the maximum of variables.

minimizeMinimum(List<String>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to minimize the minimum of variables.

minimizeMinimum(List<String>, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to minimize the minimum of variables.

minimizeNValues(List<String>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to minimize the number of values assigned to variables.

minimizeNValues(List<String>, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to minimize the number of values assigned to variables.

minimizeProduct(List<String>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to minimize a product of variables.

minimizeProduct(List<String>, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to minimize a product of variables.

minimizeSum(List<String>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to minimize a sum of variables.

minimizeSum(List<String>, List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to minimize a sum of variables.

minimizeVariable(String) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds an objective function to this solver to minimize the value assigned to a variable.

mod(IUniverseIntensionConstraint, IUniverseIntensionConstraint) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the modulo operator.

MOD - Enum constant in enum class fr.univartois.cril.juniverse.csp.operator.UniverseArithmeticOperator

The arithmetic operator for computing the remainder of two values.

mult(IUniverseIntensionConstraint...) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the multiplication operator.

mult(List<IUniverseIntensionConstraint>) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the multiplication operator.

MULT - Enum constant in enum class fr.univartois.cril.juniverse.csp.operator.UniverseArithmeticOperator

The arithmetic operator for computing the multiplication of several values.

N

nary(UniverseOperator, IUniverseIntensionConstraint...) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates a new n-ary intension constraint.

nary(UniverseOperator, List<IUniverseIntensionConstraint>) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates a new n-ary intension constraint.

nConstraints() - Method in interface fr.univartois.cril.juniverse.core.IUniverseSolver

Gives the number of constraints defined in this solver.

neg(IUniverseIntensionConstraint) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the opposite operator.

NEG - Enum constant in enum class fr.univartois.cril.juniverse.csp.operator.UniverseArithmeticOperator

The arithmetic operator for computing the opposite of a value.

neq(IUniverseIntensionConstraint, IUniverseIntensionConstraint) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the different operator.

NEQ - Enum constant in enum class fr.univartois.cril.juniverse.csp.operator.UniverseRelationalOperator

The not-equal (!=) relational operator.

newVariable(String, int, int) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a new variable to this solver.

newVariable(String, BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a new variable to this solver.

newVariable(String, List<? extends Number>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a new variable to this solver.

newVariableSymbolic(String, List<String>) - Method in interface fr.univartois.cril.juniverse.csp.IUniverseCSPSolver

Adds a new symbolic variable to this solver.

not(IUniverseIntensionConstraint) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the not operator.

NOT - Enum constant in enum class fr.univartois.cril.juniverse.csp.operator.UniverseBooleanOperator

The Boolean operator for computing the negation of a Boolean value.

NOT_IN - Enum constant in enum class fr.univartois.cril.juniverse.csp.operator.UniverseSetBelongingOperator

The operator checking whether a value does not belong to a set of values.

notIn(IUniverseIntensionConstraint, IUniverseIntensionConstraint...) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the not-in operator w.r.t.

notIn(IUniverseIntensionConstraint, BigInteger, BigInteger) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the not-in operator w.r.t.

notIn(IUniverseIntensionConstraint, List<IUniverseIntensionConstraint>) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the not-in operator w.r.t.

nVariables() - Method in interface fr.univartois.cril.juniverse.core.IUniverseSolver

Gives the number of variables defined in this solver.

O

onAssignment(IUniverseVariable, BigInteger) - Method in interface fr.univartois.cril.juniverse.listener.IUniverseSearchListener

Notifies this listener that a variable is being assigned (either following a decision or a propagation).

onBacktrack(int) - Method in interface fr.univartois.cril.juniverse.listener.IUniverseSearchListener

Notifies this listener that the solver is performing a backtrack (or backjump).

onBacktrack(IUniverseVariable) - Method in interface fr.univartois.cril.juniverse.listener.IUniverseSearchListener

Notifies this listener that the solver is performing a backtrack (or backjump).

onCleaning() - Method in interface fr.univartois.cril.juniverse.listener.IUniverseSearchListener

Notifies this listener that the solver is cleaning its no-good database.

onConflict(IUniverseConstraint, IUniverseVariable) - Method in interface fr.univartois.cril.juniverse.listener.IUniverseSearchListener

Notifies this listener that a conflict has occurred.

onDelete(IUniverseConstraint) - Method in interface fr.univartois.cril.juniverse.listener.IUniverseSearchListener

Notifies this listener that the solver is deleting one of its no-goods.

onFailedAssignment(IUniverseVariable, BigInteger) - Method in interface fr.univartois.cril.juniverse.listener.IUniverseSearchListener

Notifies this listener that a variable assignment x = v has immediately failed due to propagations.

onLearning(IUniverseConstraint) - Method in interface fr.univartois.cril.juniverse.listener.IUniverseSearchListener

Notifies this listener that a constraint has been learned, following a conflict analysis or a similar process.

onNegativeDecision(IUniverseVariable, BigInteger) - Method in interface fr.univartois.cril.juniverse.listener.IUniverseSearchListener

Notifies this listener that a negative decision (a variable refutation x != v) is going to be taken.

onPositiveDecision(IUniverseVariable, BigInteger) - Method in interface fr.univartois.cril.juniverse.listener.IUniverseSearchListener

Notifies this listener that a positive decision (a variable assignment x = v) is going to be taken.

onPropagation(IUniverseVariable, BigInteger) - Method in interface fr.univartois.cril.juniverse.listener.IUniverseSearchListener

Notifies this listener that a variable assignment has been enforced by propagation.

onRestart() - Method in interface fr.univartois.cril.juniverse.listener.IUniverseSearchListener

Notifies this listener that the solver is performing a restart.

onSolutionFound(Map<? extends IUniverseVariable, BigInteger>) - Method in interface fr.univartois.cril.juniverse.listener.IUniverseSearchListener

Notifies this listener that the solver has found a solution.

onSolutionFound(Map<? extends IUniverseVariable, BigInteger>, BigInteger) - Method in interface fr.univartois.cril.juniverse.listener.IUniverseSearchListener

Notifies this listener that the solver has found a solution.

onUnassignment(IUniverseVariable) - Method in interface fr.univartois.cril.juniverse.listener.IUniverseSearchListener

Notifies this listener that a variable is being unassigned (during a backtrack for instance).

operator - Variable in class fr.univartois.cril.juniverse.csp.intension.UniverseOperatorIntensionConstraint

The operator applied by this constraint.

OPTIMUM_FOUND - Enum constant in enum class fr.univartois.cril.juniverse.core.UniverseSolverResult

The result returned by the solver when it has found an optimal solution.

or(IUniverseIntensionConstraint...) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the disjunction operator.

or(List<IUniverseIntensionConstraint>) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the disjunction operator.

OR - Enum constant in enum class fr.univartois.cril.juniverse.csp.operator.UniverseBooleanOperator

The Boolean operator for computing the disjunction of several Boolean values.

P

pow(IUniverseIntensionConstraint, IUniverseIntensionConstraint) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the power operator.

POW - Enum constant in enum class fr.univartois.cril.juniverse.csp.operator.UniverseArithmeticOperator

The arithmetic operator for computing a value raised to the power of another.

R

removeSearchListener(IUniverseSearchListener) - Method in interface fr.univartois.cril.juniverse.core.IUniverseSolver

Removes a listener from this solver, so that the listener does not listen to the events occurring in the solver during the search anymore.

removeValues(BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.core.problem.IUniverseDomain

Removes from this domain all the values between min and max.

removeValues(List<BigInteger>) - Method in interface fr.univartois.cril.juniverse.core.problem.IUniverseDomain

Removes from this domain all the values in values.

reset() - Method in interface fr.univartois.cril.juniverse.core.IUniverseSolver

Resets this solver in its original state.

restartNow() - Method in interface fr.univartois.cril.juniverse.config.IUniverseConfigurableSolver

Forces this solver to perform a restart now.

reverse() - Method in enum class fr.univartois.cril.juniverse.csp.operator.UniverseRelationalOperator

Gives the operator that is the reverse of this one.

S

SATISFIABLE - Enum constant in enum class fr.univartois.cril.juniverse.core.UniverseSolverResult

The result returned by the solver when it has found a solution.

scope() - Method in interface fr.univartois.cril.juniverse.core.problem.IUniverseConstraint

Gives the scope of this constraint, i.e., the variables that appear in this constraint.

setBounds(BigInteger, BigInteger) - Method in interface fr.univartois.cril.juniverse.optim.IUniverseOptimizationSolver

Sets the bounds for the optimization problem to solve.

setIgnored(boolean) - Method in interface fr.univartois.cril.juniverse.core.problem.IUniverseConstraint

Sets whether this constraint must be ignored by the solver.

setLearntConstraintDeletionStrategy(UniverseConfiguration) - Method in interface fr.univartois.cril.juniverse.config.IUniverseConfigurableSolver

Sets the learned constraint deletion strategy to use in this solver.

setLogFile(String) - Method in interface fr.univartois.cril.juniverse.core.IUniverseSolver

Sets the log file to be used by the solver.

setLogStream(OutputStream) - Method in interface fr.univartois.cril.juniverse.core.IUniverseSolver

Sets the output stream to be used by the solver for logging.

setLowerBound(BigInteger) - Method in interface fr.univartois.cril.juniverse.optim.IUniverseOptimizationSolver

Sets the lower bound for the optimization problem to solve.

setRestartPolicy(UniverseConfiguration) - Method in interface fr.univartois.cril.juniverse.config.IUniverseConfigurableSolver

Sets the restart policy to use in this solver.

setSolverConfiguration(UniverseConfiguration) - Method in interface fr.univartois.cril.juniverse.config.IUniverseConfigurableSolver

Sets the "main" solver configuration currently to use in this solver.

setTimeout(long) - Method in interface fr.univartois.cril.juniverse.core.IUniverseSolver

Sets the time limit before interrupting the search.

setTimeoutMs(long) - Method in interface fr.univartois.cril.juniverse.core.IUniverseSolver

Sets the time limit before interrupting the search.

setUpperBound(BigInteger) - Method in interface fr.univartois.cril.juniverse.optim.IUniverseOptimizationSolver

Sets the upper bound for the optimization problem to solve.

setValueSelectionHeuristic(UniverseConfiguration) - Method in interface fr.univartois.cril.juniverse.config.IUniverseConfigurableSolver

Sets the value selection heuristic to use in this solver.

setVariableSelectionHeuristic(UniverseConfiguration) - Method in interface fr.univartois.cril.juniverse.config.IUniverseConfigurableSolver

Sets the variable selection heuristic to use in this solver.

setVerbosity(int) - Method in interface fr.univartois.cril.juniverse.core.IUniverseSolver

Sets the verbosity level of the solver.

size() - Method in interface fr.univartois.cril.juniverse.core.problem.IUniverseDomain

Gives the size of this domain, measured in number of values.

size() - Method in class fr.univartois.cril.juniverse.csp.intension.UniverseSetIntensionConstraint

Gives the number of intension constraints in this set.

solution() - Method in interface fr.univartois.cril.juniverse.core.IUniverseSolver

Gives the solution found by this solver (if any).

solve() - Method in interface fr.univartois.cril.juniverse.core.IUniverseSolver

Solves the problem associated to this solver.

solve(String) - Method in interface fr.univartois.cril.juniverse.core.IUniverseSolver

Solves the problem stored in the given file.

solve(List<UniverseAssumption<BigInteger>>) - Method in interface fr.univartois.cril.juniverse.core.IUniverseSolver

Solves the problem associated to this solver.

solveBoolean(List<UniverseAssumption<Boolean>>) - Method in interface fr.univartois.cril.juniverse.sat.IUniverseSatSolver

Solves the problem associated to this solver.

solveDimacs(List<Integer>) - Method in interface fr.univartois.cril.juniverse.sat.IUniverseSatSolver

Solves the problem associated to this solver.

SolverFactoryLoader - Class in fr.univartois.cril.juniverse.utils

The SolverFactoryLoader loads all implementations of IUniverseSolverFactory that are present in the classpath.

sqr(IUniverseIntensionConstraint) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the square operator.

SQR - Enum constant in enum class fr.univartois.cril.juniverse.csp.operator.UniverseArithmeticOperator

The arithmetic operator for computing the square of a value.

start() - Method in interface fr.univartois.cril.juniverse.listener.IUniverseSearchListener

Notifies this listener that the solver starts its search.

sub(IUniverseIntensionConstraint, IUniverseIntensionConstraint) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the subtraction operator.

SUB - Enum constant in enum class fr.univartois.cril.juniverse.csp.operator.UniverseArithmeticOperator

The arithmetic operator for computing the subtraction of two values.

T

toString() - Method in class fr.univartois.cril.juniverse.config.UniverseConfiguration

toString() - Method in interface fr.univartois.cril.juniverse.utils.IUniverseSolverFactory

Gives a String representation of this factory, allowing to easily identify which solvers are instantiated by this factory.

U

unary(UniverseOperator, IUniverseIntensionConstraint) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates a new unary intension constraint.

UniverseArithmeticOperator - Enum Class in fr.univartois.cril.juniverse.csp.operator

The ArithmeticOperator enumerates all possible arithmetic operators.

UniverseAssumption<T> - Class in fr.univartois.cril.juniverse.core

The UniverseAssumption represents a solving assumption, i.e., an hypothesis made about the assignment of a variable.

UniverseAssumption(String, boolean, T) - Constructor for class fr.univartois.cril.juniverse.core.UniverseAssumption

Creates a new UniverseAssumption.

UniverseBinaryIntensionConstraint - Class in fr.univartois.cril.juniverse.csp.intension

The UniverseBinaryIntensionConstraint is an IUniverseIntensionConstraint that applies an operator on two intension constraints.

UniverseBinaryIntensionConstraint(UniverseOperator, IUniverseIntensionConstraint, IUniverseIntensionConstraint) - Constructor for class fr.univartois.cril.juniverse.csp.intension.UniverseBinaryIntensionConstraint

Creates a new UniverseBinaryIntensionConstraint.

UniverseBooleanOperator - Enum Class in fr.univartois.cril.juniverse.csp.operator

The BooleanOperator enumerates all operators on Boolean variables.

UniverseConfiguration - Class in fr.univartois.cril.juniverse.config

The UniverseConfiguration provides all information for configuring a particular element of an IUniverseConfigurableSolver.

UniverseConfiguration(String) - Constructor for class fr.univartois.cril.juniverse.config.UniverseConfiguration

Creates a new UniverseConfiguration.

UniverseConstantIntensionConstraint - Class in fr.univartois.cril.juniverse.csp.intension

The UniverseConstantIntensionConstraint is an IUniverseIntensionConstraint that represents a constant value.

UniverseConstantIntensionConstraint(BigInteger) - Constructor for class fr.univartois.cril.juniverse.csp.intension.UniverseConstantIntensionConstraint

Creates a new ConstantIntensionConstraint.

UniverseContradictionException - Exception in fr.univartois.cril.juniverse.core

The UniverseContradictionException is an exception that is thrown when a trivial inconsistency is detected by the solver.

UniverseContradictionException() - Constructor for exception fr.univartois.cril.juniverse.core.UniverseContradictionException

Creates a new UniverseContradictionException.

UniverseContradictionException(String) - Constructor for exception fr.univartois.cril.juniverse.core.UniverseContradictionException

Creates a new UniverseContradictionException.

UniverseContradictionException(String, Throwable) - Constructor for exception fr.univartois.cril.juniverse.core.UniverseContradictionException

Creates a new UniverseContradictionException.

UniverseContradictionException(Throwable) - Constructor for exception fr.univartois.cril.juniverse.core.UniverseContradictionException

Creates a new UniverseContradictionException.

UniverseIfThenElseIntensionConstraint - Class in fr.univartois.cril.juniverse.csp.intension

The UniverseIfThenElseIntensionConstraint is an IUniverseIntensionConstraint that represents an if-then-else (ternary) constraint.

UniverseIfThenElseIntensionConstraint(IUniverseIntensionConstraint, IUniverseIntensionConstraint, IUniverseIntensionConstraint) - Constructor for class fr.univartois.cril.juniverse.csp.intension.UniverseIfThenElseIntensionConstraint

Creates a new UniverseIfThenElseIntensionConstraint.

UniverseIntensionConstraintFactory - Class in fr.univartois.cril.juniverse.csp.intension

The UniverseIntensionConstraintFactory makes easier the construction of intension constraints from the solver's API, by providing a functional notation.

UniverseNaryIntensionConstraint - Class in fr.univartois.cril.juniverse.csp.intension

The UniverseOperatorIntensionConstraint is an IUniverseIntensionConstraint that applies an operator on several intension constraints.

UniverseNaryIntensionConstraint(UniverseOperator, List<? extends IUniverseIntensionConstraint>) - Constructor for class fr.univartois.cril.juniverse.csp.intension.UniverseNaryIntensionConstraint

Creates a new UniverseOperatorIntensionConstraint.

UniverseOperator - Interface in fr.univartois.cril.juniverse.csp.operator

The Operator interface is a marker interface for all kinds of operators that can appear in a constraint.

UniverseOperatorIntensionConstraint - Class in fr.univartois.cril.juniverse.csp.intension

The UniverseOperatorIntensionConstraint is the parent class of all the implementations of IUniverseIntensionConstraint that apply an operator on some other intension constraint(s).

UniverseOperatorIntensionConstraint(UniverseOperator) - Constructor for class fr.univartois.cril.juniverse.csp.intension.UniverseOperatorIntensionConstraint

Creates a new UniverseOperatorIntensionConstraint.

UniverseRangeIntensionConstraint - Class in fr.univartois.cril.juniverse.csp.intension

The UniverseRangeIntensionConstraint is an IUniverseIntensionConstraint that represents a range of values.

UniverseRangeIntensionConstraint(BigInteger, BigInteger) - Constructor for class fr.univartois.cril.juniverse.csp.intension.UniverseRangeIntensionConstraint

Creates a new UniverseRangeIntensionConstraint.

UniverseRelationalOperator - Enum Class in fr.univartois.cril.juniverse.csp.operator

The RelationalOperator enumerates all possible relational operators.

UniverseSetBelongingOperator - Enum Class in fr.univartois.cril.juniverse.csp.operator

The SetBelongingOperator enumerates all possible operators for set-belonging operations.

UniverseSetIntensionConstraint - Class in fr.univartois.cril.juniverse.csp.intension

The UniverseSetIntensionConstraint is an IUniverseIntensionConstraint that represents a set of intension constraints.

UniverseSetIntensionConstraint(List<? extends IUniverseIntensionConstraint>) - Constructor for class fr.univartois.cril.juniverse.csp.intension.UniverseSetIntensionConstraint

Creates a new UniverseSetIntensionConstraint.

UniverseSolverResult - Enum Class in fr.univartois.cril.juniverse.core

The UniverseSolverResult represents the result returned by the solver at the end of its execution.

UniverseTransition - Class in fr.univartois.cril.juniverse.csp

The UniverseTransition represents a transition in a constraint representing an automaton.

UniverseTransition(String, int, String) - Constructor for class fr.univartois.cril.juniverse.csp.UniverseTransition

Creates a new UniverseTransition.

UniverseUnaryIntensionConstraint - Class in fr.univartois.cril.juniverse.csp.intension

The UniverseUnaryIntensionConstraint is an IUniverseIntensionConstraint that applies an operator on a single intension constraint.

UniverseUnaryIntensionConstraint(UniverseOperator, IUniverseIntensionConstraint) - Constructor for class fr.univartois.cril.juniverse.csp.intension.UniverseUnaryIntensionConstraint

Creates a new UniverseUnaryIntensionConstraint.

UniverseVariableIntensionConstraint - Class in fr.univartois.cril.juniverse.csp.intension

The UniverseVariableIntensionConstraint is an IUniverseIntensionConstraint that represents a variable.

UniverseVariableIntensionConstraint(String) - Constructor for class fr.univartois.cril.juniverse.csp.intension.UniverseVariableIntensionConstraint

Creates a new UniverseVariableIntensionConstraint.

UNKNOWN - Enum constant in enum class fr.univartois.cril.juniverse.core.UniverseSolverResult

The result returned by the solver when it has not been able to decide the consistency of the problem.

UNSATISFIABLE - Enum constant in enum class fr.univartois.cril.juniverse.core.UniverseSolverResult

The result returned by the solver when it has proven the problem to be inconsistent.

UNSUPPORTED - Enum constant in enum class fr.univartois.cril.juniverse.core.UniverseSolverResult

The result returned by the solver when the input problem contains unsupported features.

V

valueHeuristicStatic(List<String>, List<? extends Number>) - Method in interface fr.univartois.cril.juniverse.core.IUniverseSolver

Forces a static order on the values to try for some variables.

valueOf(String) - Static method in enum class fr.univartois.cril.juniverse.core.UniverseSolverResult

Returns the enum constant of this class with the specified name.

valueOf(String) - Static method in enum class fr.univartois.cril.juniverse.csp.operator.UniverseArithmeticOperator

Returns the enum constant of this class with the specified name.

valueOf(String) - Static method in enum class fr.univartois.cril.juniverse.csp.operator.UniverseBooleanOperator

Returns the enum constant of this class with the specified name.

valueOf(String) - Static method in enum class fr.univartois.cril.juniverse.csp.operator.UniverseRelationalOperator

Returns the enum constant of this class with the specified name.

valueOf(String) - Static method in enum class fr.univartois.cril.juniverse.csp.operator.UniverseSetBelongingOperator

Returns the enum constant of this class with the specified name.

values() - Static method in enum class fr.univartois.cril.juniverse.core.UniverseSolverResult

Returns an array containing the constants of this enum class, in the order they are declared.

values() - Static method in enum class fr.univartois.cril.juniverse.csp.operator.UniverseArithmeticOperator

Returns an array containing the constants of this enum class, in the order they are declared.

values() - Static method in enum class fr.univartois.cril.juniverse.csp.operator.UniverseBooleanOperator

Returns an array containing the constants of this enum class, in the order they are declared.

values() - Static method in enum class fr.univartois.cril.juniverse.csp.operator.UniverseRelationalOperator

Returns an array containing the constants of this enum class, in the order they are declared.

values() - Static method in enum class fr.univartois.cril.juniverse.csp.operator.UniverseSetBelongingOperator

Returns an array containing the constants of this enum class, in the order they are declared.

variable(String) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Wraps a variable in its representation as an intension constraint.

visit(UniverseBinaryIntensionConstraint) - Method in interface fr.univartois.cril.juniverse.csp.intension.IUniverseIntensionConstraintVisitor

Visits a binary constraint that appears in an intension constraint.

visit(UniverseConstantIntensionConstraint) - Method in interface fr.univartois.cril.juniverse.csp.intension.IUniverseIntensionConstraintVisitor

Visits a constant that appears in an intension constraint.

visit(UniverseIfThenElseIntensionConstraint) - Method in interface fr.univartois.cril.juniverse.csp.intension.IUniverseIntensionConstraintVisitor

Visits an if-then-else constraint that appears in an intension constraint.

visit(UniverseNaryIntensionConstraint) - Method in interface fr.univartois.cril.juniverse.csp.intension.IUniverseIntensionConstraintVisitor

Visits an n-ary constraint that appears in an intension constraint.

visit(UniverseRangeIntensionConstraint) - Method in interface fr.univartois.cril.juniverse.csp.intension.IUniverseIntensionConstraintVisitor

Visits a range that appears in an intension constraint.

visit(UniverseSetIntensionConstraint) - Method in interface fr.univartois.cril.juniverse.csp.intension.IUniverseIntensionConstraintVisitor

Visits a set that appears in an intension constraint.

visit(UniverseUnaryIntensionConstraint) - Method in interface fr.univartois.cril.juniverse.csp.intension.IUniverseIntensionConstraintVisitor

Visits a unary constraint that appears in an intension constraint.

visit(UniverseVariableIntensionConstraint) - Method in interface fr.univartois.cril.juniverse.csp.intension.IUniverseIntensionConstraintVisitor

Visits a variable that appears in an intension constraint.

X

xor(IUniverseIntensionConstraint...) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the exclusive-disjunction operator.

xor(List<IUniverseIntensionConstraint>) - Static method in class fr.univartois.cril.juniverse.csp.intension.UniverseIntensionConstraintFactory

Creates an intension constraint applying the exclusive-disjunction operator.

XOR - Enum constant in enum class fr.univartois.cril.juniverse.csp.operator.UniverseBooleanOperator

The Boolean operator for computing the exclusive disjunction of several Boolean values.

A B C D E F G I K L M N O P R S T U V X
All Classes and Interfaces|All Packages|Serialized Form