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