Uses of Interface
org.xcsp.modeler.definitions.ICtr.ICtrExtension

Packages that use ICtr.ICtrExtension

Package	Description
org.xcsp.modeler.definitions

Uses of ICtr.ICtrExtension in org.xcsp.modeler.definitions

Methods in org.xcsp.modeler.definitions that return ICtr.ICtrExtension

Modifier and Type	Method	Description
static ICtr.ICtrExtension	ICtr.ICtrExtension.buildFrom(IVar[] scope, String list, int arity, int[][] tuples, boolean positive)
static ICtr.ICtrExtension	ICtr.ICtrExtension.buildFrom(IVar[] scope, String list, int arity, String[][] tuples, boolean positive)

Methods in org.xcsp.modeler.definitions with parameters of type ICtr.ICtrExtension

Modifier and Type	Method	Description
default boolean	ICtr.ICtrExtension.isSimilarTo(ICtr.ICtrExtension c)