Index

A B C D F G I J K L M N P R S T V X
All Classes and Interfaces|All Packages

A

AceHead - Class in fr.univartois.cril.aceurancetourix

The AceHead is a specialization of ACE's Head that allows to interact with the solver, and especially to add constraints into it using an API rather than an input XCSP3 file.

AceHead() - Constructor for class fr.univartois.cril.aceurancetourix.AceHead

Creates a new AceHead.

AceSolverFactory - Class in fr.univartois.cril.aceurancetourix

The AceSolverFactory allows to instantiate ACE solvers as JUniverse solvers.

AceSolverFactory() - Constructor for class fr.univartois.cril.aceurancetourix.AceSolverFactory

Creates a new AceSolverFactory.

AceSolverFactorySingleSolution - Class in fr.univartois.cril.aceurancetourix

The AceSolverFactorySingleSolution

AceSolverFactorySingleSolution() - Constructor for class fr.univartois.cril.aceurancetourix.AceSolverFactorySingleSolution

Creates a new AceSolverFactorySingleSolution.

addAllDifferent(List<String>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addAllDifferent(List<String>, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addAllDifferentIntension(List<IUniverseIntensionConstraint>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addAllDifferentList(List<List<String>>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addAllDifferentList(List<List<String>>, List<List<BigInteger>>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addAllDifferentMatrix(List<List<String>>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addAllDifferentMatrix(List<List<String>>, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addAllEqual(List<String>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addAllEqualIntension(List<IUniverseIntensionConstraint>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addAmong(List<String>, List<BigInteger>, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addAmong(List<String>, List<BigInteger>, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addAtLeast(List<Integer>, List<Integer>, int) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addAtLeast(List<Integer>, List<BigInteger>, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addAtLeast(List<String>, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addAtMost(List<Integer>, List<Integer>, int) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addAtMost(List<Integer>, List<BigInteger>, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addAtMost(List<String>, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addBiDimensionalNoOverlap(List<String>, List<String>, List<String>, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addBiDimensionalNoOverlap(List<String>, List<String>, List<String>, List<BigInteger>, boolean) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addBinPacking(List<String>, List<BigInteger>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addBinPacking(List<String>, List<BigInteger>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addBinPacking(List<String>, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addBinPacking(List<String>, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addBinPackingWithConstantCapacities(List<String>, List<BigInteger>, List<BigInteger>, boolean) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addBinPackingWithVariableCapacities(List<String>, List<BigInteger>, List<String>, boolean) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCardinalityWithConstantValuesAndConstantCounts(List<String>, List<BigInteger>, List<BigInteger>, boolean) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCardinalityWithConstantValuesAndConstantIntervalCounts(List<String>, List<BigInteger>, List<BigInteger>, List<BigInteger>, boolean) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCardinalityWithConstantValuesAndVariableCounts(List<String>, List<BigInteger>, List<String>, boolean) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCardinalityWithVariableValuesAndConstantCounts(List<String>, List<String>, List<BigInteger>, boolean) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCardinalityWithVariableValuesAndConstantIntervalCounts(List<String>, List<String>, List<BigInteger>, List<BigInteger>, boolean) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCardinalityWithVariableValuesAndVariableCounts(List<String>, List<String>, List<String>, boolean) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addChannel(List<String>, int) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addChannel(List<String>, int, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addChannel(List<String>, int, List<String>, int) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCircuit(List<String>, int) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCircuit(List<String>, int, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCircuit(List<String>, int, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addClause(List<Integer>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addClause(List<String>, List<String>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addConflicts(String, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addConflicts(List<String>, List<List<BigInteger>>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addConflictsSymbolic(String, List<String>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addConflictsSymbolic(List<String>, List<List<String>>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCountIntensionWithConstantValues(List<IUniverseIntensionConstraint>, List<BigInteger>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCountIntensionWithConstantValues(List<IUniverseIntensionConstraint>, List<BigInteger>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCountIntensionWithConstantValues(List<IUniverseIntensionConstraint>, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCountIntensionWithConstantValues(List<IUniverseIntensionConstraint>, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCountWithConstantValues(List<String>, List<BigInteger>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCountWithConstantValues(List<String>, List<BigInteger>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCountWithConstantValues(List<String>, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCountWithConstantValues(List<String>, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCountWithVariableValues(List<String>, List<String>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCountWithVariableValues(List<String>, List<String>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCountWithVariableValues(List<String>, List<String>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCountWithVariableValues(List<String>, List<String>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCumulativeConstantLengthsConstantHeights(List<String>, List<BigInteger>, List<String>, List<BigInteger>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCumulativeConstantLengthsConstantHeights(List<String>, List<BigInteger>, List<String>, List<BigInteger>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCumulativeConstantLengthsConstantHeights(List<String>, List<BigInteger>, List<String>, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCumulativeConstantLengthsConstantHeights(List<String>, List<BigInteger>, List<String>, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCumulativeConstantLengthsConstantHeights(List<String>, List<BigInteger>, List<BigInteger>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCumulativeConstantLengthsConstantHeights(List<String>, List<BigInteger>, List<BigInteger>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCumulativeConstantLengthsConstantHeights(List<String>, List<BigInteger>, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCumulativeConstantLengthsConstantHeights(List<String>, List<BigInteger>, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCumulativeConstantLengthsVariableHeights(List<String>, List<BigInteger>, List<String>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCumulativeConstantLengthsVariableHeights(List<String>, List<BigInteger>, List<String>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCumulativeConstantLengthsVariableHeights(List<String>, List<BigInteger>, List<String>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCumulativeConstantLengthsVariableHeights(List<String>, List<BigInteger>, List<String>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCumulativeConstantLengthsVariableHeights(List<String>, List<BigInteger>, List<String>, List<String>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCumulativeConstantLengthsVariableHeights(List<String>, List<BigInteger>, List<String>, List<String>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCumulativeConstantLengthsVariableHeights(List<String>, List<BigInteger>, List<String>, List<String>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCumulativeConstantLengthsVariableHeights(List<String>, List<BigInteger>, List<String>, List<String>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCumulativeVariableLengthsConstantHeights(List<String>, List<String>, List<String>, List<BigInteger>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCumulativeVariableLengthsConstantHeights(List<String>, List<String>, List<String>, List<BigInteger>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCumulativeVariableLengthsConstantHeights(List<String>, List<String>, List<String>, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCumulativeVariableLengthsConstantHeights(List<String>, List<String>, List<String>, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCumulativeVariableLengthsConstantHeights(List<String>, List<String>, List<BigInteger>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCumulativeVariableLengthsConstantHeights(List<String>, List<String>, List<BigInteger>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCumulativeVariableLengthsConstantHeights(List<String>, List<String>, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCumulativeVariableLengthsConstantHeights(List<String>, List<String>, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCumulativeVariableLengthsVariableHeights(List<String>, List<String>, List<String>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCumulativeVariableLengthsVariableHeights(List<String>, List<String>, List<String>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCumulativeVariableLengthsVariableHeights(List<String>, List<String>, List<String>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCumulativeVariableLengthsVariableHeights(List<String>, List<String>, List<String>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCumulativeVariableLengthsVariableHeights(List<String>, List<String>, List<String>, List<String>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCumulativeVariableLengthsVariableHeights(List<String>, List<String>, List<String>, List<String>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCumulativeVariableLengthsVariableHeights(List<String>, List<String>, List<String>, List<String>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addCumulativeVariableLengthsVariableHeights(List<String>, List<String>, List<String>, List<String>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addElement(List<String>, int, String, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addElement(List<String>, int, String, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addElement(List<String>, int, String, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addElement(List<String>, int, String, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addElement(List<String>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addElement(List<String>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addElement(List<String>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addElement(List<String>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addElementConstantMatrix(List<List<BigInteger>>, int, String, int, String, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addElementConstantMatrix(List<List<BigInteger>>, int, String, int, String, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addElementConstantMatrix(List<List<BigInteger>>, int, String, int, String, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addElementConstantMatrix(List<List<BigInteger>>, int, String, int, String, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addElementConstantValues(List<BigInteger>, int, String, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addElementConstantValues(List<BigInteger>, int, String, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addElementConstantValues(List<BigInteger>, int, String, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addElementConstantValues(List<BigInteger>, int, String, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addElementMatrix(List<List<String>>, int, String, int, String, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addElementMatrix(List<List<String>>, int, String, int, String, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addElementMatrix(List<List<String>>, int, String, int, String, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addElementMatrix(List<List<String>>, int, String, int, String, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addExactly(List<Integer>, List<Integer>, int) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addExactly(List<Integer>, List<BigInteger>, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addExactly(List<String>, BigInteger, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addExactly(List<String>, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addFlow(List<String>, List<BigInteger>, List<List<BigInteger>>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addFlow(List<String>, List<BigInteger>, List<List<BigInteger>>, List<BigInteger>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addFlow(List<String>, List<BigInteger>, List<List<BigInteger>>, List<BigInteger>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addFlow(List<String>, List<BigInteger>, List<List<BigInteger>>, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addFlow(List<String>, List<BigInteger>, List<List<BigInteger>>, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addInstantiation(String, int) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addInstantiation(String, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addInstantiation(List<String>, List<? extends Number>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addInstantiationSymbolic(String, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addInstantiationSymbolic(List<String>, List<String>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addIntension(IUniverseIntensionConstraint) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addKnapsack(List<String>, List<BigInteger>, UniverseRelationalOperator, String, List<BigInteger>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addKnapsack(List<String>, List<BigInteger>, UniverseRelationalOperator, String, List<BigInteger>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addKnapsack(List<String>, List<BigInteger>, UniverseRelationalOperator, String, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addKnapsack(List<String>, List<BigInteger>, UniverseRelationalOperator, String, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addKnapsack(List<String>, List<BigInteger>, UniverseRelationalOperator, BigInteger, List<BigInteger>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addKnapsack(List<String>, List<BigInteger>, UniverseRelationalOperator, BigInteger, List<BigInteger>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addKnapsack(List<String>, List<BigInteger>, UniverseRelationalOperator, BigInteger, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addKnapsack(List<String>, List<BigInteger>, UniverseRelationalOperator, BigInteger, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addKnapsack(List<String>, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger, List<BigInteger>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addKnapsack(List<String>, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger, List<BigInteger>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addKnapsack(List<String>, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addKnapsack(List<String>, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addKnapsack(List<String>, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>, List<BigInteger>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addKnapsack(List<String>, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>, List<BigInteger>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addKnapsack(List<String>, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addKnapsack(List<String>, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addLex(List<String>, List<BigInteger>, UniverseRelationalOperator) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addLex(List<List<String>>, UniverseRelationalOperator) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addLexMatrix(List<List<String>>, UniverseRelationalOperator) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addLogical(UniverseBooleanOperator, List<String>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addLogical(String, boolean, UniverseBooleanOperator, List<String>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addLogical(String, String, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addLogical(String, String, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMaximum(List<String>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMaximum(List<String>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMaximum(List<String>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMaximum(List<String>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMaximumArg(List<String>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMaximumArg(List<String>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMaximumArg(List<String>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMaximumArg(List<String>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMaximumArgIntension(List<IUniverseIntensionConstraint>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMaximumArgIntension(List<IUniverseIntensionConstraint>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMaximumArgIntension(List<IUniverseIntensionConstraint>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMaximumArgIntension(List<IUniverseIntensionConstraint>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMaximumIndex(List<String>, int, String, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMaximumIndex(List<String>, int, String, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMaximumIndex(List<String>, int, String, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMaximumIndex(List<String>, int, String, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMaximumIntension(List<IUniverseIntensionConstraint>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMaximumIntension(List<IUniverseIntensionConstraint>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMaximumIntension(List<IUniverseIntensionConstraint>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMaximumIntension(List<IUniverseIntensionConstraint>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMDD(List<String>, List<UniverseTransition>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMinimum(List<String>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMinimum(List<String>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMinimum(List<String>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMinimum(List<String>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMinimumArg(List<String>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMinimumArg(List<String>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMinimumArg(List<String>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMinimumArg(List<String>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMinimumArgIntension(List<IUniverseIntensionConstraint>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMinimumArgIntension(List<IUniverseIntensionConstraint>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMinimumArgIntension(List<IUniverseIntensionConstraint>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMinimumArgIntension(List<IUniverseIntensionConstraint>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMinimumIndex(List<String>, int, String, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMinimumIndex(List<String>, int, String, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMinimumIndex(List<String>, int, String, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMinimumIndex(List<String>, int, String, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMinimumIntension(List<IUniverseIntensionConstraint>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMinimumIntension(List<IUniverseIntensionConstraint>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMinimumIntension(List<IUniverseIntensionConstraint>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMinimumIntension(List<IUniverseIntensionConstraint>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMultiDimensionalNoOverlap(List<List<String>>, List<List<BigInteger>>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMultiDimensionalNoOverlap(List<List<String>>, List<List<BigInteger>>, boolean) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMultiDimensionalNoOverlapVariableLength(List<List<String>>, List<List<String>>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addMultiDimensionalNoOverlapVariableLength(List<List<String>>, List<List<String>>, boolean) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addNoOverlap(List<String>, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addNoOverlap(List<String>, List<BigInteger>, boolean) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addNoOverlapVariableLength(List<String>, List<String>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addNoOverlapVariableLength(List<String>, List<String>, boolean) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addNotAllEqual(List<String>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addNValues(List<String>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addNValues(List<String>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addNValues(List<String>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addNValues(List<String>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addNValuesExcept(List<String>, UniverseRelationalOperator, String, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addNValuesExcept(List<String>, UniverseRelationalOperator, BigInteger, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addNValuesExcept(List<String>, UniverseSetBelongingOperator, BigInteger, BigInteger, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addNValuesExcept(List<String>, UniverseSetBelongingOperator, List<BigInteger>, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addNValuesIntension(List<IUniverseIntensionConstraint>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addNValuesIntension(List<IUniverseIntensionConstraint>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addNValuesIntension(List<IUniverseIntensionConstraint>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addNValuesIntension(List<IUniverseIntensionConstraint>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addOrdered(List<String>, UniverseRelationalOperator) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addOrderedWithConstantLength(List<String>, List<BigInteger>, UniverseRelationalOperator) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addOrderedWithVariableLength(List<String>, List<String>, UniverseRelationalOperator) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addPrecedence(List<String>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addPrecedence(List<String>, List<BigInteger>, boolean) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addPrimitive(UniverseArithmeticOperator, String, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addPrimitive(String, UniverseArithmeticOperator, String, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addPrimitive(String, UniverseArithmeticOperator, String, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addPrimitive(String, UniverseArithmeticOperator, BigInteger, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addPrimitive(String, UniverseArithmeticOperator, BigInteger, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addPrimitive(String, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addPrimitive(String, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addPrimitive(String, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addPseudoBoolean(List<Integer>, List<BigInteger>, boolean, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addRegular(List<String>, List<UniverseTransition>, String, List<String>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addSearchListener(IUniverseSearchListener) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addStretch(List<String>, List<BigInteger>, List<BigInteger>, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addStretch(List<String>, List<BigInteger>, List<BigInteger>, List<BigInteger>, List<List<BigInteger>>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addSum(List<String>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addSum(List<String>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addSum(List<String>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addSum(List<String>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addSum(List<String>, List<BigInteger>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addSum(List<String>, List<BigInteger>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addSum(List<String>, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addSum(List<String>, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addSumIntension(List<IUniverseIntensionConstraint>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addSumIntension(List<IUniverseIntensionConstraint>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addSumIntension(List<IUniverseIntensionConstraint>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addSumIntension(List<IUniverseIntensionConstraint>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addSumIntension(List<IUniverseIntensionConstraint>, List<BigInteger>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addSumIntension(List<IUniverseIntensionConstraint>, List<BigInteger>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addSumIntension(List<IUniverseIntensionConstraint>, List<BigInteger>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addSumIntension(List<IUniverseIntensionConstraint>, List<BigInteger>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addSumIntensionWithVariableCoefficients(List<IUniverseIntensionConstraint>, List<String>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addSumIntensionWithVariableCoefficients(List<IUniverseIntensionConstraint>, List<String>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addSumIntensionWithVariableCoefficients(List<IUniverseIntensionConstraint>, List<String>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addSumIntensionWithVariableCoefficients(List<IUniverseIntensionConstraint>, List<String>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addSumWithVariableCoefficients(List<String>, List<String>, UniverseRelationalOperator, String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addSumWithVariableCoefficients(List<String>, List<String>, UniverseRelationalOperator, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addSumWithVariableCoefficients(List<String>, List<String>, UniverseSetBelongingOperator, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addSumWithVariableCoefficients(List<String>, List<String>, UniverseSetBelongingOperator, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addSupport(String, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addSupport(List<String>, List<List<BigInteger>>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addSupportSymbolic(String, List<String>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

addSupportSymbolic(List<String>, List<List<String>>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

B

buildProblem(int) - Method in class fr.univartois.cril.aceurancetourix.AceHead

buildProblemAndSolver() - Method in class fr.univartois.cril.aceurancetourix.AceHead

C

checkSolution() - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

checkSolution(Map<String, BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

createCspSolver() - Method in class fr.univartois.cril.aceurancetourix.AceSolverFactory

createCspSolver() - Method in class fr.univartois.cril.aceurancetourix.AceSolverFactorySingleSolution

createCspSolver() - Method in class fr.univartois.cril.aceurancetourix.PreprocAceSolverFactory

createPseudoBooleanSolver() - Method in class fr.univartois.cril.aceurancetourix.AceSolverFactory

createPseudoBooleanSolver() - Method in class fr.univartois.cril.aceurancetourix.AceSolverFactorySingleSolution

createPseudoBooleanSolver() - Method in class fr.univartois.cril.aceurancetourix.PreprocAceSolverFactory

createSatSolver() - Method in class fr.univartois.cril.aceurancetourix.AceSolverFactory

createSatSolver() - Method in class fr.univartois.cril.aceurancetourix.AceSolverFactorySingleSolution

createSatSolver() - Method in class fr.univartois.cril.aceurancetourix.PreprocAceSolverFactory

currentGroup - Static variable in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

currentSize() - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceDomainAdapter

D

decisionVariables(List<String>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

F

fr.univartois.cril.aceurancetourix - module fr.univartois.cril.aceurancetourix

The fr.univartois.cril.aceurancetourix module provides the JUniverse adapter for the ACE CP solver.

fr.univartois.cril.aceurancetourix - package fr.univartois.cril.aceurancetourix

The fr.univartois.cril.aceurancetourix package provides a JUniverse adapter for the constraint solver ACE.

fr.univartois.cril.aceurancetourix.reader - package fr.univartois.cril.aceurancetourix.reader

G

getAuxiliaryVariables() - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

getBuilder() - Method in class fr.univartois.cril.aceurancetourix.AceHead

getBuilder() - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

Gives the builder used to configure the ACE solver.

getConstraints() - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

getConstraints() - Method in class fr.univartois.cril.aceurancetourix.JUniverseVariableAceAdapter

getCurrentBound() - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

getCurrentValues() - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceDomainAdapter

getDomain() - Method in class fr.univartois.cril.aceurancetourix.JUniverseVariableAceAdapter

getHead() - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

Gives the adapted Head.

getId() - Method in class fr.univartois.cril.aceurancetourix.JUniverseVariableAceAdapter

getLowerBound() - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

getName() - Method in class fr.univartois.cril.aceurancetourix.JUniverseVariableAceAdapter

getSolver() - Method in class fr.univartois.cril.aceurancetourix.AceHead

getUpperBound() - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

getValues() - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceDomainAdapter

getVariablesMapping() - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

I

inGroup - Static variable in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

interrupt() - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

interruptSearch() - Method in class fr.univartois.cril.aceurancetourix.AceHead

Interrupts the solver.

isMinimization() - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

isOptimization() - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

isSatisfiable() - Method in class fr.univartois.cril.aceurancetourix.AceHead

Check the satisfiability of the set of constraints contained inside the solver.

isSatisfiable(List<Assumption>) - Method in class fr.univartois.cril.aceurancetourix.AceHead

Check the satisfiability of the set of constraints contained inside the solver using the specified assumption.

isTimeExpiredForCurrentInstance() - Method in class fr.univartois.cril.aceurancetourix.AceHead

J

JUniverseAceDomainAdapter - Class in fr.univartois.cril.aceurancetourix

The JUniverseAceDomainAdapter

JUniverseAceDomainAdapter(Domain) - Constructor for class fr.univartois.cril.aceurancetourix.JUniverseAceDomainAdapter

Creates a new JUniverseAceDomainAdapter.

JUniverseAceProblemAdapter - Class in fr.univartois.cril.aceurancetourix

The JUniverseAceProblemAdapter adapts a Head (and a Problem) from ACE to the IUniverseCSPSolver interface.

JUniverseAceProblemAdapter() - Constructor for class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

Creates a new JUniverseAceProblemAdapter.

JUniverseVariableAceAdapter - Class in fr.univartois.cril.aceurancetourix

The JUniverseVariableAceAdapter

JUniverseVariableAceAdapter(Variable) - Constructor for class fr.univartois.cril.aceurancetourix.JUniverseVariableAceAdapter

Creates a new JUniverseVariableAceAdapter.

K

keepValues(BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceDomainAdapter

keepValues(List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceDomainAdapter

L

loadInstance(String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

M

main(String[]) - Static method in class fr.univartois.cril.aceurancetourix.Main

Main - Class in fr.univartois.cril.aceurancetourix

The Main

Main() - Constructor for class fr.univartois.cril.aceurancetourix.Main

Creates a new Main.

mapSolution() - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

mapSolution(boolean) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

max() - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceDomainAdapter

maximizeExpression(IUniverseIntensionConstraint) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

maximizeExpressionMaximum(List<IUniverseIntensionConstraint>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

maximizeExpressionMaximum(List<IUniverseIntensionConstraint>, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

maximizeExpressionMinimum(List<IUniverseIntensionConstraint>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

maximizeExpressionMinimum(List<IUniverseIntensionConstraint>, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

maximizeExpressionNValues(List<IUniverseIntensionConstraint>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

maximizeExpressionNValues(List<IUniverseIntensionConstraint>, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

maximizeExpressionProduct(List<IUniverseIntensionConstraint>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

maximizeExpressionProduct(List<IUniverseIntensionConstraint>, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

maximizeExpressionSum(List<IUniverseIntensionConstraint>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

maximizeExpressionSum(List<IUniverseIntensionConstraint>, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

maximizeMaximum(List<String>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

maximizeMaximum(List<String>, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

maximizeMinimum(List<String>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

maximizeMinimum(List<String>, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

maximizeNValues(List<String>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

maximizeNValues(List<String>, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

maximizeProduct(List<String>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

maximizeProduct(List<String>, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

maximizeSum(List<String>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

maximizeSum(List<String>, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

maximizeVariable(String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

min() - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceDomainAdapter

minimizeExpression(IUniverseIntensionConstraint) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

minimizeExpressionMaximum(List<IUniverseIntensionConstraint>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

minimizeExpressionMaximum(List<IUniverseIntensionConstraint>, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

minimizeExpressionMinimum(List<IUniverseIntensionConstraint>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

minimizeExpressionMinimum(List<IUniverseIntensionConstraint>, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

minimizeExpressionNValues(List<IUniverseIntensionConstraint>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

minimizeExpressionNValues(List<IUniverseIntensionConstraint>, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

minimizeExpressionProduct(List<IUniverseIntensionConstraint>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

minimizeExpressionProduct(List<IUniverseIntensionConstraint>, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

minimizeExpressionSum(List<IUniverseIntensionConstraint>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

minimizeExpressionSum(List<IUniverseIntensionConstraint>, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

minimizeMaximum(List<String>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

minimizeMaximum(List<String>, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

minimizeMinimum(List<String>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

minimizeMinimum(List<String>, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

minimizeNValues(List<String>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

minimizeNValues(List<String>, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

minimizeProduct(List<String>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

minimizeProduct(List<String>, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

minimizeSum(List<String>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

minimizeSum(List<String>, List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

minimizeVariable(String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

N

nConstraints() - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

newDefault() - Static method in class fr.univartois.cril.aceurancetourix.AceSolverFactory

Creates a IUniverseCSPSolver implemented using an instance of ACE in its default configuration.

newDefault() - Static method in class fr.univartois.cril.aceurancetourix.AceSolverFactorySingleSolution

Creates a IUniverseCSPSolver implemented using an instance of ACE in its default configuration.

newVariable(String, int, int) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

newVariable(String, BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

newVariable(String, List<? extends Number>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

newVariableSymbolic(String, List<String>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

nVariables() - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

P

parseInstance(InputStream) - Method in class fr.univartois.cril.aceurancetourix.reader.XCSP3Reader

parseInstance(String) - Method in class fr.univartois.cril.aceurancetourix.reader.XCSP3Reader

PreprocAceSolverFactory - Class in fr.univartois.cril.aceurancetourix

The PreprocAceSolverFactory

PreprocAceSolverFactory() - Constructor for class fr.univartois.cril.aceurancetourix.PreprocAceSolverFactory

Creates a new PreprocAceSolverFactory.

R

removeSearchListener(IUniverseSearchListener) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

removeValues(BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceDomainAdapter

removeValues(List<BigInteger>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceDomainAdapter

reset() - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

S

setBounds(BigInteger, BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

setLogFile(String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

setLogStream(OutputStream) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

setLowerBound(BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

setTimeout(long) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

setTimeoutMs(long) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

setUpperBound(BigInteger) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

setVerbosity(int) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

size() - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceDomainAdapter

solution() - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

solve() - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

solve(String) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

solve(List<UniverseAssumption<BigInteger>>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

solveBoolean(List<UniverseAssumption<Boolean>>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

T

toIntArray(List<? extends Number>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

Creates an array of int values from a List of Number.

toString() - Method in class fr.univartois.cril.aceurancetourix.AceSolverFactory

toString() - Method in class fr.univartois.cril.aceurancetourix.AceSolverFactorySingleSolution

toString() - Method in class fr.univartois.cril.aceurancetourix.PreprocAceSolverFactory

V

valueHeuristicStatic(List<String>, List<? extends Number>) - Method in class fr.univartois.cril.aceurancetourix.JUniverseAceProblemAdapter

X

XCSP3Reader - Class in fr.univartois.cril.aceurancetourix.reader

The XCSP3Reader is a Reader that allows to feed an XCSP3 instance to an IUniverseCSPSolver.

XCSP3Reader(IUniverseCSPSolver) - Constructor for class fr.univartois.cril.aceurancetourix.reader.XCSP3Reader

Creates a new XCSP3Reader.

A B C D F G I J K L M N P R S T V X
All Classes and Interfaces|All Packages