Uses of Class
it.univr.di.labeledvalue.ALabel
Packages that use ALabel
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.
-
Uses of ALabel in it.univr.di.cstnu.algorithms
Methods in it.univr.di.cstnu.algorithms with parameters of type ALabelModifier and TypeMethodDescription(package private) static String
CSTNU.lowerCaseValueAsString
(ALabel nodeName, int value, Label label) (package private) static String
OSTNU.lowerCaseValueAsString
(ALabel nodeName, int value, Label label) (package private) static String
CSTNU.upperCaseValueAsString
(ALabel nodeName, int value, Label label) (package private) static String
OSTNU.upperCaseValueAsString
(ALabel nodeName, int value, Label label) -
Uses of ALabel in it.univr.di.cstnu.graph
Fields in it.univr.di.cstnu.graph declared as ALabelModifier and TypeFieldDescription(package private) ALabel
BasicCSTNUEdgePluggable.InternalEntry.aLabel
Fields in it.univr.di.cstnu.graph with type parameters of type ALabelModifier and TypeFieldDescription(package private) it.unimi.dsi.fastutil.objects.Object2IntMap
<it.unimi.dsi.fastutil.objects.Object2ObjectMap.Entry<Label, ALabel>> CSTNPSUEdgePluggable.consideredLowerCaseValue
The CSTNU controllability check algorithm needs to know if a labeled value has been already considered in the past in order to avoid to add it a second time.(package private) it.unimi.dsi.fastutil.objects.Object2IntMap
<it.unimi.dsi.fastutil.objects.Object2ObjectMap.Entry<Label, ALabel>> BasicCSTNUEdgePluggable.consideredUpperCaseValue
The CSTNU controllability check algorithm needs to know if a labeled value has been already considered in the past in order to avoid to add it a second time.Methods in it.univr.di.cstnu.graph that return ALabelModifier and TypeMethodDescriptionLabeledNode.getALabel()
BasicCSTNUEdgePluggable.InternalEntry.getValue()
Methods in it.univr.di.cstnu.graph that return types with arguments of type ALabelModifier and TypeMethodDescriptionit.unimi.dsi.fastutil.objects.Object2ObjectMap.Entry
<Label, it.unimi.dsi.fastutil.objects.Object2IntMap.Entry<ALabel>> BasicCSTNUEdge.getMinLowerCaseValue()
it.unimi.dsi.fastutil.objects.Object2ObjectMap.Entry
<Label, it.unimi.dsi.fastutil.objects.Object2IntMap.Entry<ALabel>> CSTNPSUEdgePluggable.getMinLowerCaseValue()
it.unimi.dsi.fastutil.objects.Object2ObjectMap.Entry
<Label, it.unimi.dsi.fastutil.objects.Object2IntMap.Entry<ALabel>> CSTNUEdgePluggable.getMinLowerCaseValue()
it.unimi.dsi.fastutil.objects.Object2ObjectMap.Entry
<Label, it.unimi.dsi.fastutil.objects.Object2IntMap.Entry<ALabel>> BasicCSTNUEdge.getMinUpperCaseValue()
final it.unimi.dsi.fastutil.objects.Object2ObjectMap.Entry
<Label, it.unimi.dsi.fastutil.objects.Object2IntMap.Entry<ALabel>> BasicCSTNUEdgePluggable.getMinUpperCaseValue()
Methods in it.univr.di.cstnu.graph with parameters of type ALabelModifier and TypeMethodDescriptiondefault int
CSTNPSUEdge.getLowerCaseValue
(Label l, ALabel name) int
CSTNPSUEdgePluggable.getLowerCaseValue
(Label l, ALabel name1) int
BasicCSTNUEdge.getUpperCaseValue
(Label l, ALabel name) final int
BasicCSTNUEdgePluggable.getUpperCaseValue
(Label l, ALabel name1) boolean
BasicCSTNUEdge.mergeLowerCaseValue
(Label l, ALabel nodeName, int i) Merge a lower label constraint with valuei
for the node namen
with labell
.final boolean
CSTNPSUEdgePluggable.mergeLowerCaseValue
(Label l, ALabel nodeName, int i) boolean
CSTNUEdgePluggable.mergeLowerCaseValue
(Label l, ALabel nodeName, int i) boolean
BasicCSTNUEdge.mergeUpperCaseValue
(Label l, ALabel nodeName, int i) Merge an upper label constraint with delayi
for the node name n with propositional labell
.
If the new value makes other already present values redundant, such values are removed.final boolean
BasicCSTNUEdgePluggable.mergeUpperCaseValue
(Label l, ALabel nodeName, int i) boolean
BasicCSTNUEdge.putLowerCaseValue
(Label l, ALabel nodeName, int i) Put a lower label constraint with valuei
for the node namen
with labell
.
Putting does not make any label optimization.final boolean
CSTNPSUEdgePluggable.putLowerCaseValue
(Label l, ALabel nodeName, int i) final boolean
CSTNUEdgePluggable.putLowerCaseValue
(Label l, ALabel nodeName, int i) boolean
BasicCSTNUEdge.putUpperCaseValue
(Label l, ALabel nodeName, int i) Put an upper label constraint with delay i for the node name n with label l.
There is no optimization of the labeled values present after the insertion of this one.final boolean
BasicCSTNUEdgePluggable.putUpperCaseValue
(Label l, ALabel nodeName, int i) int
CSTNPSUEdge.removeLowerCaseValue
(Label l, ALabel n) final int
CSTNPSUEdgePluggable.removeLowerCaseValue
(Label l, ALabel n) int
BasicCSTNUEdge.removeUpperCaseValue
(Label l, ALabel n) Remove the upper label for node name n with label l.final int
BasicCSTNUEdgePluggable.removeUpperCaseValue
(Label l, ALabel n) void
Sets the ALabel of the node.void
CSTNUEdge.setLowerCaseValue
(Label l, ALabel nodeName, int i) Set a lower label constraint with delay i for the node n with label l.
If a lower label with label l for node n is already present, it is overwritten.void
CSTNUEdgePluggable.setLowerCaseValue
(Label l, ALabel nodeName, int i) (package private) int
CSTNPSUEdgePluggable.setLowerCaseValueAsConsidered
(Label l, ALabel n, int i) Set the triple as already considered in order to avoid to consider it again in the future.(package private) final int
BasicCSTNUEdgePluggable.setUpperCaseValueAsConsidered
(Label l, ALabel n, int i) Set the triple as already considered in order to avoid to consider it again in the future.(package private) static String
BasicCSTNUEdgePluggable.upperCaseValueAsString
(ALabel nodeName, int value, Label label) Method parameters in it.univr.di.cstnu.graph with type arguments of type ALabelModifier and TypeMethodDescriptionint
BasicCSTNUEdgePluggable.InternalEntry.compareTo
(it.unimi.dsi.fastutil.objects.Object2ObjectMap.Entry<Label, ALabel> o) Constructors in it.univr.di.cstnu.graph with parameters of type ALabelModifierConstructorDescription(package private)
InternalEntry
(Label inputLabel, ALabel inputALabel) -
Uses of ALabel in it.univr.di.labeledvalue
Subclasses of ALabel in it.univr.di.labeledvalueModifier and TypeClassDescriptionstatic final class
An unmodifiable empty label.Fields in it.univr.di.labeledvalue declared as ALabelModifier and TypeFieldDescriptionstatic final ALabel
ALabel.emptyLabel
A constant empty label to represent an empty label that cannot be modified.Fields in it.univr.di.labeledvalue with type parameters of type ALabelModifier and TypeFieldDescriptionprotected it.unimi.dsi.fastutil.objects.Object2ObjectRBTreeMap
<ALabel, LabeledIntMap> LabeledALabelIntTreeMap.map
Data structure.Methods in it.univr.di.labeledvalue that return ALabelModifier and TypeMethodDescriptionstatic ALabel
In order to have a correct copy of an a-label.ALabel.conjunction
(ALabel label) Conjoinsa-label
tothis
and returns the result without modifyingthis
.ALabel.EmptyLabel.conjunction
(ALabel label) LabeledLowerCaseValue.getNodeName()
static ALabel
ALabel.parse
(String s, ALabelAlphabet alphabet) Parse a string representing an A-label and return an equivalent A-Label object if no errors are found, null otherwise.Methods in it.univr.di.labeledvalue that return types with arguments of type ALabelModifier and TypeMethodDescriptionit.unimi.dsi.fastutil.objects.Object2ObjectMap.Entry
<Label, it.unimi.dsi.fastutil.objects.Object2IntMap.Entry<ALabel>> LabeledALabelIntTreeMap.getMinValue()
it.unimi.dsi.fastutil.objects.ObjectSet
<ALabel> LabeledALabelIntTreeMap.keySet()
Methods in it.univr.di.labeledvalue with parameters of type ALabelModifier and TypeMethodDescriptionboolean
LabeledALabelIntTreeMap.alreadyRepresents
(Label newLabel, ALabel newAlabel, int newValue) static ALabel
In order to have a correct copy of an a-label.int
In order to speed up this method and considering that theALabelAlphabet
order may be not the expected alphabetic one, (first letter in anALabelAlphabet
can be 'nodeZ' and the last one 'aNode'), the order of labels is given w.r.t.int
ALabel.conjunction
(ALabel label) Conjoinsa-label
tothis
and returns the result without modifyingthis
.ALabel.EmptyLabel.conjunction
(ALabel label) boolean
L1 contains L2 if L1 contains all a-letters of L2.boolean
static LabeledLowerCaseValue
Creates a lower-case value.static String
LabeledALabelIntTreeMap.entryAsString
(Label label, int value, ALabel nodeName) entryAsString.static String
LabeledLowerCaseValue.entryAsString
(ALabel nodeN, int v, Label l, boolean lower) final LabeledIntMap
int
LabeledALabelIntTreeMap.getMinValueConsistentWith
(Label l, ALabel p) Returns the value associated to(l, p)
if it exists, otherwise the minimal value among all labels consistent with(l, p)
.int
boolean
LabeledALabelIntTreeMap.LabeledALabelIntTreeMapView.mergeTriple
(Label l, ALabel p, int i) Object Read-only.boolean
LabeledALabelIntTreeMap.LabeledALabelIntTreeMapView.mergeTriple
(Label newLabel, ALabel newAlabel, int newValue, boolean force) Object Read-only.boolean
LabeledALabelIntTreeMap.LabeledALabelIntTreeMapView.mergeTriple
(String label, ALabel p, int i) Object Read-only.boolean
LabeledALabelIntTreeMap.LabeledALabelIntTreeMapView.mergeTriple
(String label, ALabel p, int i, boolean force) Object Read-only.boolean
LabeledALabelIntTreeMap.mergeTriple
(Label l, ALabel p, int i) mergeTriple.boolean
LabeledALabelIntTreeMap.mergeTriple
(Label newLabel, ALabel newAlabel, int newValue, boolean force) Merges a label case value(p,l,i)
.boolean
LabeledALabelIntTreeMap.mergeTriple
(String label, ALabel p, int i) Wrapper method.boolean
LabeledALabelIntTreeMap.mergeTriple
(String label, ALabel p, int i, boolean force) Wrapper method toLabeledALabelIntTreeMap.mergeTriple(Label, ALabel, int, boolean)
.LabeledALabelIntTreeMap.LabeledALabelIntTreeMapView.put
(ALabel alabel, LabeledIntMap labeledValueMap) Object Read-only.LabeledALabelIntTreeMap.put
(ALabel alabel, LabeledIntMap labeledValueMap) Put a map associate to key alabel.boolean
Object Read-only.boolean
Put the triple(p,l,i)
into the map.void
It removes all a-letters in aLabel from the current label.int
Object Read-only.boolean
remove.int