Uses of Package
it.univr.di.labeledvalue
Package
Description
Contains all checking algorithms for (C)STN(U)s.
Contains all classes for representing vertices, edges and graphs related to (C)STN(U) model.
Provides the classes necessary to manage labeled value maps.
-
-
ClassDescriptionSimple class to represent a A-label in the CSTNU framework.A customizable alphabet, where elements are strings.ALetter makes simpler to check if a node name is appropriate.Represents an immutable propositional label in the CSTN/CSTNU framework.Allows to manage conjoin-upper-case values that are also associated to propositional labels.
Labeled values are grouped by alphabetic labelsALabel
.Realizes the mapLabel
-->intRepresents an immutable Labeled Lower Case value. -
ClassDescriptionAbstract class for
LabeledIntMap
interface.Simple class to represent a A-label in the CSTNU framework.Possible state of aALabelAlphabet.ALetter
in an alphabetic label.A customizable alphabet, where elements are strings.ALetter makes simpler to check if a node name is appropriate.Represents an immutable propositional label in the CSTN/CSTNU framework.Allows to manage conjoin-upper-case values that are also associated to propositional labels.
Labeled values are grouped by alphabetic labelsALabel
.A read-only view of a LabeledALabelIntTreeMap object.Simple implementation ofLabeledIntMap
interface.Simple class to represent a labeled value in the hierarchy.Realizes the mapLabel
-->intA read-only view of an objectDeprecated.Simple implementation ofLabeledIntMap
interface.A read-only view of an objectExtends LabeledIntTreeMap setting optimize field to false.
In this way, labeled values where labels not shorten.
This class is useful for OSTNUPluggableEdge class.Represents an immutable Labeled Lower Case value.An immutable literal.