Uses of Class
org.xcsp.modeler.entities.CtrEntities.CtrAlone
-
Packages that use CtrEntities.CtrAlone Package Description org.xcsp.modeler.api org.xcsp.modeler.definitions org.xcsp.modeler.entities org.xcsp.modeler.implementation -
-
Uses of CtrEntities.CtrAlone in org.xcsp.modeler.api
Methods in org.xcsp.modeler.api that return CtrEntities.CtrAlone Modifier and Type Method Description default CtrEntities.CtrAlone
ProblemAPI. extension(XNodeParent<IVar> tree)
Builds a constraintextension
from the specified syntactic tree (predicate).default CtrEntities.CtrAlone
ProblemAPI. extensionDisjunction(List<XNodeParent<IVar>> trees)
default CtrEntities.CtrAlone
ProblemAPI. extensionDisjunction(XNodeParent<IVar>... trees)
-
Uses of CtrEntities.CtrAlone in org.xcsp.modeler.definitions
Methods in org.xcsp.modeler.definitions with parameters of type CtrEntities.CtrAlone Modifier and Type Method Description static ICtr.ICtrIfThen
ICtr.ICtrIfThen. buildFrom(IVar[] scope, CtrEntities.CtrAlone ca1, CtrEntities.CtrAlone ca2)
static ICtr.ICtrIfThenElse
ICtr.ICtrIfThenElse. buildFrom(IVar[] scope, CtrEntities.CtrAlone ca1, CtrEntities.CtrAlone ca2, CtrEntities.CtrAlone ca3)
static ICtr.ICtrSlide
ICtr.ICtrSlide. buildFrom(IVar[] scope, Boolean circular, IVar[][] lists, int[] offsets, int[] collects, CtrEntities.CtrAlone[] cas)
-
Uses of CtrEntities.CtrAlone in org.xcsp.modeler.entities
Subclasses of CtrEntities.CtrAlone in org.xcsp.modeler.entities Modifier and Type Class Description class
CtrEntities.CtrAloneDummy
Objects of this class correspond to extreme cases where the constraint is irrelevant (for example, a sum with 0 variable).Fields in org.xcsp.modeler.entities with type parameters of type CtrEntities.CtrAlone Modifier and Type Field Description Map<ICtr,CtrEntities.CtrAlone>
CtrEntities. ctrToCtrAlone
-
Uses of CtrEntities.CtrAlone in org.xcsp.modeler.implementation
Methods in org.xcsp.modeler.implementation that return CtrEntities.CtrAlone Modifier and Type Method Description abstract CtrEntities.CtrAlone
ProblemIMP. extension(IVar.Var[] scp, int[][] tuples, boolean positive)
abstract CtrEntities.CtrAlone
ProblemIMP. extension(IVar.Var[] scp, AbstractTuple[] tuples, boolean positive)
abstract CtrEntities.CtrAlone
ProblemIMP. extension(IVar.VarSymbolic[] scp, String[][] tuples, boolean positive)
CtrEntities.CtrAlone
ProblemIMP. extension(XNodeParent<IVar> tree)
CtrEntities.CtrAlone
ProblemIMP3. extension(IVar.Var[] list, int[][] tuples, boolean positive)
CtrEntities.CtrAlone
ProblemIMP3. extension(IVar.Var[] scp, AbstractTuple[] tuples, boolean positive)
CtrEntities.CtrAlone
ProblemIMP3. extension(IVar.VarSymbolic[] list, String[][] tuples, boolean positive)
CtrEntities.CtrAlone
ProblemIMP. extensionDisjunction(List<XNodeParent<IVar>> trees)
CtrEntities.CtrAlone
ProblemIMP3. mdd(IVar.Var[] list, Transition[] transitions)
CtrEntities.CtrAlone
ProblemIMP3. post(ICtr c)
CtrEntities.CtrAlone
ProblemIMP3. regular(IVar.Var[] list, Automaton automaton)
-