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 constraint extension 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)