Interface CSTNPSUEdge

All Superinterfaces:

BasicCSTNUEdge, Comparable<Component>, Component, CSTNEdge, Edge, Serializable

All Known Implementing Classes:

CSTNPSUEdgePluggable

public interface CSTNPSUEdge
extends BasicCSTNUEdge

Represents the behavior of a CSTNPSU edge.

A CSTNPSU edge is a CSTNU edge where it is also possible to have more lower-case values. So, lower-case values are represented as a set of lower-case values. LabeledLowerCaseValue is NOT used.

To promote greater efficiency, some methods return a view of the internal data structures (they are all methods that return a set of Entry). Such a view could be dangerous because it could be modified directly (don't do that!) Such methods must be used only to read-only scan the labeled values or the labeled values' labels efficiently. Moreover, such views are not more valid if a value is added to or removed from the edge.

Version:

$Rev: 993 $

Author:

posenato

Nested Class Summary

Nested classes/interfaces inherited from interface Edge

Edge.ConstraintType

Modifier and Type	Interface	Description
static enum	Edge.ConstraintType	Possible types of an edge.

Method Summary

Modifier and Type	Method	Description
void	clearLowerCaseValues()	Clears the labeled lowercase values.
it.unimi.dsi.fastutil.objects.ObjectSet<it.unimi.dsi.fastutil.objects.Object2ObjectMap.Entry<ALabel, it.unimi.dsi.fastutil.objects.Object2IntMap.Entry<Label>>>	getAllLowerCaseAndLabeledValues()	Don't use this set for scanning that requires modifying the internal map; otherwise, this set will become invalid after the first modification.
it.unimi.dsi.fastutil.objects.ObjectSet<Label>	getLabelsOfLowerCaseValues()
it.unimi.dsi.fastutil.objects.ObjectSet<Label>	getLabelsOfLowerCaseValues(ALabel aLabel)
it.unimi.dsi.fastutil.objects.ObjectSet<ALabel>	getLowerCaseLabels()
int	getLowerCaseValue(Label l, ALabel name)
it.unimi.dsi.fastutil.objects.ObjectSet<it.unimi.dsi.fastutil.objects.Object2ObjectMap.Entry<ALabel, it.unimi.dsi.fastutil.objects.Object2IntMap.Entry<Label>>>	getLowerCaseValues()	Don't use this set for scanning that requires modifying the internal map; otherwise, this set will become invalid after the first modification.
it.unimi.dsi.fastutil.objects.ObjectSet<it.unimi.dsi.fastutil.objects.Object2IntMap.Entry<Label>>	getLowerCaseValues(ALabel lowerCaseLabel)
it.unimi.dsi.fastutil.objects.Object2ObjectMap.Entry<Label, it.unimi.dsi.fastutil.objects.Object2IntMap.Entry<ALabel>>	getMinLowerCaseValue()
boolean	mergeLowerCaseValue(Label l, ALabel nodeName, int i)	Merge a lower label constraint with value i for the node name n with label l.
void	removeLowerCaseValue(Label l, ALabel n)
void	setLowerCaseValues(LabeledALabelIntTreeMap lowerCaseValue)

Methods inherited from interface BasicCSTNUEdge

clearLowerCaseValue, clearUpperCaseValues, getAllUpperCaseAndLabeledValues, getLabelsOfUpperCaseValues, getLabelsOfUpperCaseValues, getMinUpperCaseValue, getMinUpperCaseValue, getUpperCaseLabels, getUpperCaseValue, getUpperCaseValues, getUpperCaseValues, lowerCaseValueAsString, lowerCaseValueSize, mergeUpperCaseValue, putLowerCaseValue, putUpperCaseValue, removeUpperCaseValue, setUpperCaseValueMap, size, upperCaseValuesAsString, upperCaseValueSize

Modifier and Type	Method	Description
void	clearLowerCaseValue()	Clears the labeled lowercase values.
void	clearUpperCaseValues()	Clears all uppercase labeled values.
it.unimi.dsi.fastutil.objects.ObjectSet<it.unimi.dsi.fastutil.objects.Object2ObjectMap.Entry<ALabel, it.unimi.dsi.fastutil.objects.Object2IntMap.Entry<Label>>>	getAllUpperCaseAndLabeledValues()	Don't use this set for scanning that requires modifying the internal map; otherwise, this set will become invalid after the first modification.
it.unimi.dsi.fastutil.objects.ObjectSet<Label>	getLabelsOfUpperCaseValues()
it.unimi.dsi.fastutil.objects.ObjectSet<Label>	getLabelsOfUpperCaseValues(ALabel aLabel)
it.unimi.dsi.fastutil.objects.Object2ObjectMap.Entry<Label, it.unimi.dsi.fastutil.objects.Object2IntMap.Entry<ALabel>>	getMinUpperCaseValue()
it.unimi.dsi.fastutil.objects.Object2IntMap.Entry<Label>	getMinUpperCaseValue(ALabel upperCaseLabel)
it.unimi.dsi.fastutil.objects.ObjectSet<ALabel>	getUpperCaseLabels()
int	getUpperCaseValue(Label l, ALabel name)
it.unimi.dsi.fastutil.objects.ObjectSet<it.unimi.dsi.fastutil.objects.Object2ObjectMap.Entry<ALabel, it.unimi.dsi.fastutil.objects.Object2IntMap.Entry<Label>>>	getUpperCaseValues()	Don't use this set for scanning that requires modifying the internal map; otherwise, this set will become invalid after the first modification.
it.unimi.dsi.fastutil.objects.ObjectSet<it.unimi.dsi.fastutil.objects.Object2IntMap.Entry<Label>>	getUpperCaseValues(ALabel upperCaseLabel)	Don't use this set for scanning that requires modifying the internal map; otherwise, this set will become invalid after the first modification.
String	lowerCaseValueAsString()
int	lowerCaseValueSize()
boolean	mergeUpperCaseValue(Label l, ALabel nodeName, int i)	Merge an upper label constraint with delay i for the node name n with propositional label l.
void	putLowerCaseValue(Label l, ALabel nodeName, int i)	Set or add a lower label constraint with delay i for the node n with label l.
boolean	putUpperCaseValue(Label l, ALabel nodeName, int i)	Put an upper label constraint with delay i for the node name n with label l.
int	removeUpperCaseValue(Label l, ALabel n)	Remove the upper label for node name n with label l.
void	setUpperCaseValueMap(LabeledALabelIntTreeMap labeledValue)
int	size()
String	upperCaseValuesAsString()
int	upperCaseValueSize()

Methods inherited from interface Comparable

compareTo

Methods inherited from interface Component

clear, equals, equalsByName, getName, hashCode, inNegativeCycle, setInNegativeCycle, setName, toString

Modifier and Type	Method	Description
void	clear()	Clear all components but the name.
boolean	equals(Object o)	Deprecated.
boolean	equalsByName(Component c)	A component is assumed to be equal to another if it has the same name.
String	getName()
int	hashCode()
boolean	inNegativeCycle()
void	setInNegativeCycle(boolean inNegativeCycle)	Sets true if the edge is in a negative cycle
String	setName(String name)	Set the name of the component.
String	toString()	Return a string representation of labeled values.

Methods inherited from interface CSTNEdge

getLabeledIntMapImplClass, getLabeledValues, getLabelsOfLabeledValues, getMinLabeledValue, getMinValue, getMinValueSubsumedBy, getValue, labeledValuesAsString, mergeLabeledValue, mergeLabeledValue, mergeLabeledValues, putLabeledValue, removeLabeledValue, setLabeledValueMap

Modifier and Type	Method	Description
Class<? extends LabeledIntMap>	getLabeledIntMapImplClass()
it.unimi.dsi.fastutil.objects.ObjectSet<it.unimi.dsi.fastutil.objects.Object2IntMap.Entry<Label>>	getLabeledValues()
it.unimi.dsi.fastutil.objects.ObjectSet<Label>	getLabelsOfLabeledValues()
it.unimi.dsi.fastutil.objects.Object2IntMap.Entry<Label>	getMinLabeledValue()
int	getMinValue()
int	getMinValueSubsumedBy(Label l)
int	getValue(Label label)
String	labeledValuesAsString()
boolean	mergeLabeledValue(Label l, int i)	Merges the labeled value i into the set of labeled values of this edge.
boolean	mergeLabeledValue(String ls, int i)	Wrapper method for CSTNEdge.mergeLabeledValue(Label, int).
void	mergeLabeledValues(LabeledIntMap map)
boolean	putLabeledValue(Label l, int i)
void	removeLabeledValue(Label l)	Remove the value labeled by l from the map.
void	setLabeledValueMap(LabeledIntMap inputLabeledValue)	Uses inputLabeledValue as an internal labeled value map.

Methods inherited from interface Edge

getConstraintType, getRoute, hasSameValues, isContingentEdge, isCSTNEdge, isCSTNPSUEdge, isCSTNUEdge, isEmpty, isOSTNUEdge, isRequirementEdge, isSTNEdge, isSTNUEdge, newInstance, newInstance, newInstance, setConstraintType, setRoute, takeIn

Modifier and Type	Method	Description
Edge.ConstraintType	getConstraintType()
default EdgeRoute	getRoute()
boolean	hasSameValues(Edge e)
default boolean	isContingentEdge()
boolean	isCSTNEdge()	This method is inappropriate here, but it helps to speed up the code.
boolean	isCSTNPSUEdge()	This method is inappropriate here, but it helps to speed up the code.
boolean	isCSTNUEdge()	This method is inappropriate here, but it helps to speed up the code.
boolean	isEmpty()
boolean	isOSTNUEdge()	This method is inappropriate here, but it helps to speed up the code.
default boolean	isRequirementEdge()
boolean	isSTNEdge()	This method is inappropriate here, but it helps to speed up the code.
boolean	isSTNUEdge()	This method is inappropriate here, but it helps to speed up the code.
Edge	newInstance()	Factory
Edge	newInstance(Edge edge)	Any super-interfaces/implementing classes should ensure that such a method has the edge as an argument!
Edge	newInstance(String name)	Factory
void	setConstraintType(Edge.ConstraintType type)
default void	setRoute(EdgeRoute route)	Sets the explicit routing of this edge, or null to return the edge to automatic.
void	takeIn(Edge e)	A copy by reference of the internal structure of edge e.

Method Details

clearLowerCaseValues

void clearLowerCaseValues()

Clears the labeled lowercase values.

getAllLowerCaseAndLabeledValues

it.unimi.dsi.fastutil.objects.ObjectSet<it.unimi.dsi.fastutil.objects.Object2ObjectMap.Entry<ALabel, it.unimi.dsi.fastutil.objects.Object2IntMap.Entry<Label>>> getAllLowerCaseAndLabeledValues()

Don't use this set for scanning that requires modifying the internal map; otherwise, this set will become invalid after the first modification.

Returns:

the set of all labeled values and all labeled lower-case ones. The labeled values have an empty ALabel.

getLabelsOfLowerCaseValues

it.unimi.dsi.fastutil.objects.ObjectSet<Label> getLabelsOfLowerCaseValues(@Nonnull
 ALabel aLabel)

Parameters:

aLabel - the lower-case label

Returns:

the set of all labels associated with lower-case label aLabel.

getLabelsOfLowerCaseValues

it.unimi.dsi.fastutil.objects.ObjectSet<Label> getLabelsOfLowerCaseValues()

Returns:

the set of all labels associated with all lower-case labeled values;

getLowerCaseLabels

it.unimi.dsi.fastutil.objects.ObjectSet<ALabel> getLowerCaseLabels()

Returns:

the set of all lower-case labels.

getLowerCaseValue

int getLowerCaseValue(Label l,
 ALabel name)

Parameters:

l - a Label object.

name - a ALabel node name.

Returns:

the labeled lower-case value. Constants.INT_NULL if the value does not exist.

getLowerCaseValues

it.unimi.dsi.fastutil.objects.ObjectSet<it.unimi.dsi.fastutil.objects.Object2ObjectMap.Entry<ALabel, it.unimi.dsi.fastutil.objects.Object2IntMap.Entry<Label>>> getLowerCaseValues()

Don't use this set for scanning that requires modifying the internal map; otherwise, this set will become invalid after the first modification.

Returns:

the set of all labeled lower-case values.

setLowerCaseValues

void setLowerCaseValues(LabeledALabelIntTreeMap lowerCaseValue)

Parameters:

lowerCaseValue - the labeled lower case value to use for initializing the current one.

getLowerCaseValues

@Nonnull
it.unimi.dsi.fastutil.objects.ObjectSet<it.unimi.dsi.fastutil.objects.Object2IntMap.Entry<Label>> getLowerCaseValues(@Nonnull
 ALabel lowerCaseLabel)

Parameters:

lowerCaseLabel - a non-null lower-case label.

Returns:

a view of the lower-case values associated with lowerCaseLabel if there are some of them, an empty set otherwise.

getMinLowerCaseValue

it.unimi.dsi.fastutil.objects.Object2ObjectMap.Entry<Label, it.unimi.dsi.fastutil.objects.Object2IntMap.Entry<ALabel>> getMinLowerCaseValue()

Returns:

a copy of the minimal value (with the ALabel) among all upper-case labeled values if there are some of them, null otherwise.

mergeLowerCaseValue

boolean mergeLowerCaseValue(Label l,
 ALabel nodeName,
 int i)

Merge a lower label constraint with value i for the node name n with label l.

Parameters:

l - It cannot be null or empty.

nodeName - the node name. It cannot be null. It must be the unmodified name of the node.

i - It cannot be null.

Returns:

true if the merge has been successful.

removeLowerCaseValue

void removeLowerCaseValue(Label l,
 ALabel n)

Parameters:

l - a Label object.

n - a ALabel node name