Uses of Class
org.xcsp.common.domains.Domains.DomGraph
-
Packages that use Domains.DomGraph Package Description org.xcsp.common.domains -
-
Uses of Domains.DomGraph in org.xcsp.common.domains
Methods in org.xcsp.common.domains that return Domains.DomGraph Modifier and Type Method Description static Domains.DomGraph
Domains.DomGraph. parse(String reqV, String reqE, String posV, String posE, Types.TypeVar type)
Returns the graph domain obtained by parsing the specified strings, according to the specified type.
-