Uses of Interface
org.xcsp.modeler.definitions.ICtr.ICtrRegular
-
Packages that use ICtr.ICtrRegular Package Description org.xcsp.modeler.definitions -
-
Uses of ICtr.ICtrRegular in org.xcsp.modeler.definitions
Methods in org.xcsp.modeler.definitions that return ICtr.ICtrRegular Modifier and Type Method Description static ICtr.ICtrRegular
ICtr.ICtrRegular. buildFrom(IVar[] scope, String list, String transitions, String startState, String[] finalStates)
-