Package it.univr.di.labeledvalue
package it.univr.di.labeledvalue
Provides the classes necessary to manage labeled value maps.
A labeled value is a value that is associated to a label formed by the conjunction of 0 or more literals.
A
labeled value is valid if no one of literals in the label is false. Therefore, even if the value of one or more
literals are not known, the label is valid and, so, the value.
-
ClassDescriptionAbstract class for
LabeledIntMapinterface.Simple class to represent a A-label in the CSTNU framework.An unmodifiable empty label.Possible state of aALabelAlphabet.ALetterin an alphabetic label.A customizable alphabet, where elements are strings.ALetter makes simpler to check if a node name is appropriate.Some useful constants for the package.Represents an immutable propositional label in the CSTN/CSTNU framework.Allows to manage conjoin-upper-case values that are also associated to propositional labels.A read-only view of an objectSimple implementation ofLabeledIntMapinterface.Simple class to represent a labeled value in the hierarchy.A read-only view of an objectRealizes the mapLabel-->intA read-only view of an objectLabeledIntMapSupplier<C extends LabeledIntMap>Basic factory of LabeledIntMap objects.Simple implementation ofLabeledIntMapinterface without minimization.A read-only view of an objectSimple implementation ofLabeledIntMapinterface.A read-only view of an objectExtends LabeledIntTreeMap setting optimize field to false.Represents an immutable Labeled Lower Case value.An immutable literal.