xcsp

Class XCSP

java.lang.Object

xcsp.XCSP

All Implemented Interfaces:

org.xcsp.parser.XCallbacks, org.xcsp.parser.XCallbacks2

public class XCSP
extends Object
implements org.xcsp.parser.XCallbacks2

Nested Class Summary

Nested classes/interfaces inherited from interface org.xcsp.parser.XCallbacks

org.xcsp.parser.XCallbacks.Implem, org.xcsp.parser.XCallbacks.XCallbacksParameters

Constructor Summary

Constructors

Constructor and Description
XCSP(String fileName)

Method Summary

Modifier and Type	Method and Description
void	buildAnnotationDecision(org.xcsp.parser.entries.XVariables.XVarInteger[] list)
void	buildCtrAllDifferent(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list)
void	buildCtrElement(String id, int[] list, int startIndex, org.xcsp.parser.entries.XVariables.XVarInteger index, org.xcsp.common.Types.TypeRank rank, org.xcsp.parser.entries.XVariables.XVarInteger value)
void	buildCtrElement(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int startIndex, org.xcsp.parser.entries.XVariables.XVarInteger index, org.xcsp.common.Types.TypeRank rank, int value)
void	buildCtrElement(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int startIndex, org.xcsp.parser.entries.XVariables.XVarInteger index, org.xcsp.common.Types.TypeRank rank, org.xcsp.parser.entries.XVariables.XVarInteger value)
void	buildCtrExtension(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int[][] tuples, boolean positive, Set<org.xcsp.common.Types.TypeFlag> flags)
void	buildCtrExtension(String id, org.xcsp.parser.entries.XVariables.XVarInteger x, int[] values, boolean positive, Set<org.xcsp.common.Types.TypeFlag> flags)
void	buildCtrIntension(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] scope, org.xcsp.common.predicates.XNodeParent<org.xcsp.parser.entries.XVariables.XVarInteger> tree)
void	buildCtrIntension(String id, org.xcsp.parser.entries.XVariables.XVarSymbolic[] scope, org.xcsp.common.predicates.XNodeParent<org.xcsp.parser.entries.XVariables.XVarSymbolic> syntaxTreeRoot)
void	buildCtrMaximum(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, org.xcsp.common.Condition condition)
void	buildCtrMinimum(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, org.xcsp.common.Condition condition)
void	buildCtrPrimitive(String id, org.xcsp.parser.entries.XVariables.XVarInteger x, org.xcsp.common.Types.TypeArithmeticOperator aop, int p, org.xcsp.common.Types.TypeConditionOperatorRel op, int k)
void	buildCtrPrimitive(String id, org.xcsp.parser.entries.XVariables.XVarInteger x, org.xcsp.common.Types.TypeArithmeticOperator aop, int p, org.xcsp.common.Types.TypeConditionOperatorRel op, org.xcsp.parser.entries.XVariables.XVarInteger y)
void	buildCtrPrimitive(String id, org.xcsp.parser.entries.XVariables.XVarInteger x, org.xcsp.common.Types.TypeArithmeticOperator aop, org.xcsp.parser.entries.XVariables.XVarInteger y, org.xcsp.common.Types.TypeConditionOperatorRel op, int k)
void	buildCtrPrimitive(String id, org.xcsp.parser.entries.XVariables.XVarInteger x, org.xcsp.common.Types.TypeArithmeticOperator aop, org.xcsp.parser.entries.XVariables.XVarInteger y, org.xcsp.common.Types.TypeConditionOperatorRel op, org.xcsp.parser.entries.XVariables.XVarInteger z)
void	buildCtrPrimitive(String id, org.xcsp.parser.entries.XVariables.XVarInteger x, org.xcsp.common.Types.TypeConditionOperatorRel op, int k)
void	buildCtrPrimitive(String id, org.xcsp.parser.entries.XVariables.XVarInteger x, org.xcsp.common.Types.TypeUnaryArithmeticOperator aop, org.xcsp.parser.entries.XVariables.XVarInteger y)
void	buildCtrSum(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, org.xcsp.common.Condition condition)
void	buildCtrSum(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int[] coeffs, org.xcsp.common.Condition condition)
void	buildObjToMaximize(String id, org.xcsp.common.Types.TypeObjective type, org.xcsp.parser.entries.XVariables.XVarInteger[] list)
void	buildObjToMaximize(String id, org.xcsp.common.Types.TypeObjective type, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int[] coeffs)
void	buildObjToMaximize(String id, org.xcsp.parser.entries.XVariables.XVarInteger x)
void	buildObjToMinimize(String id, org.xcsp.common.Types.TypeObjective type, org.xcsp.parser.entries.XVariables.XVarInteger[] list)
void	buildObjToMinimize(String id, org.xcsp.common.Types.TypeObjective type, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int[] coeffs)
void	buildObjToMinimize(String id, org.xcsp.parser.entries.XVariables.XVarInteger x)
void	buildVarInteger(org.xcsp.parser.entries.XVariables.XVarInteger x, int[] values)
void	buildVarInteger(org.xcsp.parser.entries.XVariables.XVarInteger x, int minValue, int maxValue)
List<String>	getViolatedCtrs(String solution)
org.xcsp.parser.XCallbacks.Implem	implem()
boolean	isCOP()
static void	main(String[] args)
SearchStatistics	solve(BiConsumer<String,Integer> onSolution, Function<SearchStatistics,Boolean> shouldStop)
String	solve(int nSolution, int timeOut)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.xcsp.parser.XCallbacks2

beginAnnotations, beginArray, beginBlock, beginConstraints, beginGroup, beginInstance, beginLogic, beginObjectives, beginSlide, beginVariables, buildBinPacking, buildBinPacking, buildCtrAllDifferent, buildCtrAllDifferent, buildCtrAllDifferentExcept, buildCtrAllDifferentList, buildCtrAllDifferentMatrix, buildCtrAllEqual, buildCtrAmong, buildCtrAmong, buildCtrAtLeast, buildCtrAtMost, buildCtrCardinality, buildCtrCardinality, buildCtrCardinality, buildCtrCardinality, buildCtrCardinality, buildCtrCardinality, buildCtrChannel, buildCtrChannel, buildCtrChannel, buildCtrCircuit, buildCtrCircuit, buildCtrCircuit, buildCtrClause, buildCtrCount, buildCtrCount, buildCtrCumulative, buildCtrCumulative, buildCtrCumulative, buildCtrCumulative, buildCtrCumulative, buildCtrCumulative, buildCtrCumulative, buildCtrCumulative, buildCtrElement, buildCtrElement, buildCtrExactly, buildCtrExactly, buildCtrExtension, buildCtrExtension, buildCtrInstantiation, buildCtrLex, buildCtrLexMatrix, buildCtrLogic, buildCtrLogic, buildCtrMaximum, buildCtrMDD, buildCtrMinimum, buildCtrNoOverlap, buildCtrNoOverlap, buildCtrNoOverlap, buildCtrNoOverlap, buildCtrNotAllEqual, buildCtrNValues, buildCtrNValuesExcept, buildCtrOrdered, buildCtrOrdered, buildCtrPrimitive, buildCtrPrimitive, buildCtrRegular, buildCtrStretch, buildCtrStretch, buildCtrSum, buildCtrSum, buildObjToMaximize, buildObjToMinimize, buildVarSymbolic, endAnnotations, endArray, endBlock, endConstraints, endGroup, endInstance, endLogic, endObjectives, endSlide, endVariables, unimplementedCase

Methods inherited from interface org.xcsp.parser.XCallbacks

buildCtrFalse, buildCtrTrue, loadAnnotations, loadArray, loadBlock, loadConstraints, loadConstraints, loadCtr, loadCtrs, loadDocument, loadGroup, loadInstance, loadInstance, loadLogic, loadObj, loadObjectives, loadSlide, loadVar, loadVariables, repost

Constructor Detail

XCSP

public XCSP(String fileName)
     throws Exception

Throws:

Exception

Method Detail

implem

public org.xcsp.parser.XCallbacks.Implem implem()

Specified by:

implem in interface org.xcsp.parser.XCallbacks

isCOP

public boolean isCOP()

getViolatedCtrs

public List<String> getViolatedCtrs(String solution)
                             throws Exception

Throws:

Exception

buildVarInteger

public void buildVarInteger(org.xcsp.parser.entries.XVariables.XVarInteger x,
                            int minValue,
                            int maxValue)

Specified by:

buildVarInteger in interface org.xcsp.parser.XCallbacks

Specified by:

buildVarInteger in interface org.xcsp.parser.XCallbacks2

buildVarInteger

public void buildVarInteger(org.xcsp.parser.entries.XVariables.XVarInteger x,
                            int[] values)

Specified by:

buildVarInteger in interface org.xcsp.parser.XCallbacks

Specified by:

buildVarInteger in interface org.xcsp.parser.XCallbacks2

buildCtrExtension

public void buildCtrExtension(String id,
                              org.xcsp.parser.entries.XVariables.XVarInteger x,
                              int[] values,
                              boolean positive,
                              Set<org.xcsp.common.Types.TypeFlag> flags)

Specified by:

buildCtrExtension in interface org.xcsp.parser.XCallbacks

Specified by:

buildCtrExtension in interface org.xcsp.parser.XCallbacks2

buildCtrExtension

public void buildCtrExtension(String id,
                              org.xcsp.parser.entries.XVariables.XVarInteger[] list,
                              int[][] tuples,
                              boolean positive,
                              Set<org.xcsp.common.Types.TypeFlag> flags)

Specified by:

buildCtrExtension in interface org.xcsp.parser.XCallbacks

Specified by:

buildCtrExtension in interface org.xcsp.parser.XCallbacks2

buildCtrElement

public void buildCtrElement(String id,
                            int[] list,
                            int startIndex,
                            org.xcsp.parser.entries.XVariables.XVarInteger index,
                            org.xcsp.common.Types.TypeRank rank,
                            org.xcsp.parser.entries.XVariables.XVarInteger value)

Specified by:

buildCtrElement in interface org.xcsp.parser.XCallbacks

Specified by:

buildCtrElement in interface org.xcsp.parser.XCallbacks2

buildCtrElement

public void buildCtrElement(String id,
                            org.xcsp.parser.entries.XVariables.XVarInteger[] list,
                            int startIndex,
                            org.xcsp.parser.entries.XVariables.XVarInteger index,
                            org.xcsp.common.Types.TypeRank rank,
                            int value)

Specified by:

buildCtrElement in interface org.xcsp.parser.XCallbacks

Specified by:

buildCtrElement in interface org.xcsp.parser.XCallbacks2

buildCtrElement

public void buildCtrElement(String id,
                            org.xcsp.parser.entries.XVariables.XVarInteger[] list,
                            int startIndex,
                            org.xcsp.parser.entries.XVariables.XVarInteger index,
                            org.xcsp.common.Types.TypeRank rank,
                            org.xcsp.parser.entries.XVariables.XVarInteger value)

Specified by:

buildCtrElement in interface org.xcsp.parser.XCallbacks

Specified by:

buildCtrElement in interface org.xcsp.parser.XCallbacks2

buildCtrPrimitive

public void buildCtrPrimitive(String id,
                              org.xcsp.parser.entries.XVariables.XVarInteger x,
                              org.xcsp.common.Types.TypeConditionOperatorRel op,
                              int k)

Specified by:

buildCtrPrimitive in interface org.xcsp.parser.XCallbacks

Specified by:

buildCtrPrimitive in interface org.xcsp.parser.XCallbacks2

buildCtrPrimitive

public void buildCtrPrimitive(String id,
                              org.xcsp.parser.entries.XVariables.XVarInteger x,
                              org.xcsp.common.Types.TypeUnaryArithmeticOperator aop,
                              org.xcsp.parser.entries.XVariables.XVarInteger y)

Specified by:

buildCtrPrimitive in interface org.xcsp.parser.XCallbacks

Specified by:

buildCtrPrimitive in interface org.xcsp.parser.XCallbacks2

buildCtrPrimitive

public void buildCtrPrimitive(String id,
                              org.xcsp.parser.entries.XVariables.XVarInteger x,
                              org.xcsp.common.Types.TypeArithmeticOperator aop,
                              int p,
                              org.xcsp.common.Types.TypeConditionOperatorRel op,
                              int k)

Specified by:

buildCtrPrimitive in interface org.xcsp.parser.XCallbacks

Specified by:

buildCtrPrimitive in interface org.xcsp.parser.XCallbacks2

buildCtrPrimitive

public void buildCtrPrimitive(String id,
                              org.xcsp.parser.entries.XVariables.XVarInteger x,
                              org.xcsp.common.Types.TypeArithmeticOperator aop,
                              int p,
                              org.xcsp.common.Types.TypeConditionOperatorRel op,
                              org.xcsp.parser.entries.XVariables.XVarInteger y)

Specified by:

buildCtrPrimitive in interface org.xcsp.parser.XCallbacks

Specified by:

buildCtrPrimitive in interface org.xcsp.parser.XCallbacks2

buildCtrPrimitive

public void buildCtrPrimitive(String id,
                              org.xcsp.parser.entries.XVariables.XVarInteger x,
                              org.xcsp.common.Types.TypeArithmeticOperator aop,
                              org.xcsp.parser.entries.XVariables.XVarInteger y,
                              org.xcsp.common.Types.TypeConditionOperatorRel op,
                              int k)

Specified by:

buildCtrPrimitive in interface org.xcsp.parser.XCallbacks

Specified by:

buildCtrPrimitive in interface org.xcsp.parser.XCallbacks2

buildCtrPrimitive

public void buildCtrPrimitive(String id,
                              org.xcsp.parser.entries.XVariables.XVarInteger x,
                              org.xcsp.common.Types.TypeArithmeticOperator aop,
                              org.xcsp.parser.entries.XVariables.XVarInteger y,
                              org.xcsp.common.Types.TypeConditionOperatorRel op,
                              org.xcsp.parser.entries.XVariables.XVarInteger z)

Specified by:

buildCtrPrimitive in interface org.xcsp.parser.XCallbacks

Specified by:

buildCtrPrimitive in interface org.xcsp.parser.XCallbacks2

buildCtrSum

public void buildCtrSum(String id,
                        org.xcsp.parser.entries.XVariables.XVarInteger[] list,
                        org.xcsp.common.Condition condition)

Specified by:

buildCtrSum in interface org.xcsp.parser.XCallbacks

Specified by:

buildCtrSum in interface org.xcsp.parser.XCallbacks2

buildCtrSum

public void buildCtrSum(String id,
                        org.xcsp.parser.entries.XVariables.XVarInteger[] list,
                        int[] coeffs,
                        org.xcsp.common.Condition condition)

Specified by:

buildCtrSum in interface org.xcsp.parser.XCallbacks

Specified by:

buildCtrSum in interface org.xcsp.parser.XCallbacks2

buildCtrAllDifferent

public void buildCtrAllDifferent(String id,
                                 org.xcsp.parser.entries.XVariables.XVarInteger[] list)

Specified by:

buildCtrAllDifferent in interface org.xcsp.parser.XCallbacks

Specified by:

buildCtrAllDifferent in interface org.xcsp.parser.XCallbacks2

buildObjToMinimize

public void buildObjToMinimize(String id,
                               org.xcsp.parser.entries.XVariables.XVarInteger x)

Specified by:

buildObjToMinimize in interface org.xcsp.parser.XCallbacks

Specified by:

buildObjToMinimize in interface org.xcsp.parser.XCallbacks2

buildObjToMinimize

public void buildObjToMinimize(String id,
                               org.xcsp.common.Types.TypeObjective type,
                               org.xcsp.parser.entries.XVariables.XVarInteger[] list)

Specified by:

buildObjToMinimize in interface org.xcsp.parser.XCallbacks

Specified by:

buildObjToMinimize in interface org.xcsp.parser.XCallbacks2

buildObjToMinimize

public void buildObjToMinimize(String id,
                               org.xcsp.common.Types.TypeObjective type,
                               org.xcsp.parser.entries.XVariables.XVarInteger[] list,
                               int[] coeffs)

Specified by:

buildObjToMinimize in interface org.xcsp.parser.XCallbacks

Specified by:

buildObjToMinimize in interface org.xcsp.parser.XCallbacks2

buildObjToMaximize

public void buildObjToMaximize(String id,
                               org.xcsp.parser.entries.XVariables.XVarInteger x)

Specified by:

buildObjToMaximize in interface org.xcsp.parser.XCallbacks

Specified by:

buildObjToMaximize in interface org.xcsp.parser.XCallbacks2

buildObjToMaximize

public void buildObjToMaximize(String id,
                               org.xcsp.common.Types.TypeObjective type,
                               org.xcsp.parser.entries.XVariables.XVarInteger[] list)

Specified by:

buildObjToMaximize in interface org.xcsp.parser.XCallbacks

Specified by:

buildObjToMaximize in interface org.xcsp.parser.XCallbacks2

buildObjToMaximize

public void buildObjToMaximize(String id,
                               org.xcsp.common.Types.TypeObjective type,
                               org.xcsp.parser.entries.XVariables.XVarInteger[] list,
                               int[] coeffs)

Specified by:

buildObjToMaximize in interface org.xcsp.parser.XCallbacks

Specified by:

buildObjToMaximize in interface org.xcsp.parser.XCallbacks2

buildCtrIntension

public void buildCtrIntension(String id,
                              org.xcsp.parser.entries.XVariables.XVarInteger[] scope,
                              org.xcsp.common.predicates.XNodeParent<org.xcsp.parser.entries.XVariables.XVarInteger> tree)

Specified by:

buildCtrIntension in interface org.xcsp.parser.XCallbacks

Specified by:

buildCtrIntension in interface org.xcsp.parser.XCallbacks2

buildCtrIntension

public void buildCtrIntension(String id,
                              org.xcsp.parser.entries.XVariables.XVarSymbolic[] scope,
                              org.xcsp.common.predicates.XNodeParent<org.xcsp.parser.entries.XVariables.XVarSymbolic> syntaxTreeRoot)

Specified by:

buildCtrIntension in interface org.xcsp.parser.XCallbacks

Specified by:

buildCtrIntension in interface org.xcsp.parser.XCallbacks2

buildCtrMaximum

public void buildCtrMaximum(String id,
                            org.xcsp.parser.entries.XVariables.XVarInteger[] list,
                            org.xcsp.common.Condition condition)

Specified by:

buildCtrMaximum in interface org.xcsp.parser.XCallbacks

Specified by:

buildCtrMaximum in interface org.xcsp.parser.XCallbacks2

buildCtrMinimum

public void buildCtrMinimum(String id,
                            org.xcsp.parser.entries.XVariables.XVarInteger[] list,
                            org.xcsp.common.Condition condition)

Specified by:

buildCtrMinimum in interface org.xcsp.parser.XCallbacks

Specified by:

buildCtrMinimum in interface org.xcsp.parser.XCallbacks2

solve

public String solve(int nSolution,
                    int timeOut)

buildAnnotationDecision

public void buildAnnotationDecision(org.xcsp.parser.entries.XVariables.XVarInteger[] list)

Specified by:

buildAnnotationDecision in interface org.xcsp.parser.XCallbacks

Specified by:

buildAnnotationDecision in interface org.xcsp.parser.XCallbacks2

solve

public SearchStatistics solve(BiConsumer<String,Integer> onSolution,
                              Function<SearchStatistics,Boolean> shouldStop)

Parameters:

onSolution: - void onSolution(solution, obj). If not a COP, obj = Integer.MAXVALUE

shouldStop: - boolean shouldStop(stats, isCOP).

Returns:

Stats

main

public static void main(String[] args)