Class CSTNPSUEdgePluggable

java.lang.Object

it.univr.di.cstnu.graph.AbstractComponent

it.univr.di.cstnu.graph.AbstractEdge

it.univr.di.cstnu.graph.CSTNEdgePluggable

it.univr.di.cstnu.graph.BasicCSTNUEdgePluggable

it.univr.di.cstnu.graph.CSTNPSUEdgePluggable

All Implemented Interfaces:

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

public class CSTNPSUEdgePluggable
extends BasicCSTNUEdgePluggable
implements CSTNPSUEdge

An implementation of CSTNPSUEdge.
This edge differs from the CSTNU edge because it also admits that lower-case values are propagated and that it is possible to have lower-case values with conjoined lower-case labels.

Version:

$Rev: 1153 $

Author:

posenato

See Also:

• Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class BasicCSTNUEdgePluggable

BasicCSTNUEdgePluggable.InternalEntry

Modifier and Type	Class	Description
(package private) static final class	BasicCSTNUEdgePluggable.InternalEntry	Represents a pair (Label, String).

Nested classes/interfaces inherited from interface Edge

Edge.ConstraintType

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

Field Summary

Fields

Modifier and Type	Field	Description
(package private) it.unimi.dsi.fastutil.objects.Object2IntMap<it.unimi.dsi.fastutil.objects.Object2ObjectMap.Entry<Label,ALabel>>	consideredLowerCaseValue	The CSTNU controllability check algorithm needs to know if a labeled value has already been considered in the past to avoid adding it a second time.
(package private) LabeledALabelIntTreeMap	lowerCaseValues	Morris Lower case value augmented by a propositional label.

Fields inherited from class BasicCSTNUEdgePluggable

consideredUpperCaseValue, upperCaseValue

Modifier and Type	Field	Description
(package private) it.unimi.dsi.fastutil.objects.Object2IntMap<it.unimi.dsi.fastutil.objects.Object2ObjectMap.Entry<Label,ALabel>>	consideredUpperCaseValue	The CSTNU controllability check algorithm needs to know if a labeled value has already been considered in the past to avoid adding it a second time.
(package private) LabeledALabelIntTreeMap	upperCaseValue	Morris Upper case value augmented by a propositional label.

Fields inherited from class CSTNEdgePluggable

consideredLabeledValue, DEFAULT_LABELED_INT_MAP_CLASS, labeledValue, labeledValueMapImpl, LOG

Modifier and Type	Field	Description
(package private) it.unimi.dsi.fastutil.objects.Object2IntMap<Label>	consideredLabeledValue	Maintains the log of labeled values that have already been inserted and, therefore, cannot be reinserted.
(package private) static final Class<? extends LabeledIntMap>	DEFAULT_LABELED_INT_MAP_CLASS	Default class for representing labeled values.
(package private) LabeledIntMap	labeledValue	Labeled value.
(package private) final Class<? extends LabeledIntMap>	labeledValueMapImpl	Labeled value class used in the class.
(package private) static Logger	LOG	logger

Fields inherited from class AbstractEdge

constraintType

Modifier and Type	Field	Description
(package private) Edge.ConstraintType	constraintType	The type of the edge.

Fields inherited from class AbstractComponent

name, pcs

Modifier and Type	Field	Description
(package private) String	name	Possible name
(package private) PropertyChangeSupport	pcs	Since Java 9, Observable has no longer been supported.

Constructor Summary

Constructors

Constructor	Description
CSTNPSUEdgePluggable()	Default constructor.
CSTNPSUEdgePluggable(Edge e)	Constructor to clone the component.
CSTNPSUEdgePluggable(String n)

Method Summary

Modifier and Type	Method	Description
void	clear()	Clear all components but the name.
void	clearLowerCaseValue()	Clears the labeled lowercase values.
final 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 name1)
final 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()
final boolean	hasSameValues(Edge e)
boolean	isCSTNPSUEdge()	This method is inappropriate here, but it helps to speed up the code.
boolean	isEmpty()
String	lowerCaseValueAsString()
final int	lowerCaseValueSize()
final boolean	mergeLabeledValue(Label l, int i)	Merges the labeled value i into the set of labeled values of this edge.
final boolean	mergeLowerCaseValue(Label l, ALabel nodeName, int i)	Merge a lower label constraint with value i for the node name n with label l.
CSTNPSUEdgePluggable	newInstance()	Factory
CSTNPSUEdgePluggable	newInstance(Edge edge)	Any super-interfaces/implementing classes should ensure that such a method has the edge as an argument!
CSTNPSUEdgePluggable	newInstance(String name1)	Factory
final 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.
final void	removeLowerCaseValue(Label l, ALabel n)
void	setLowerCaseValues(LabeledALabelIntTreeMap lowerCaseValue1)
void	takeIn(Edge e)	A copy by reference of the internal structure of edge e.

Methods inherited from class BasicCSTNUEdgePluggable

clearUpperCaseValues, getAllUpperCaseAndLabeledValues, getLabelsOfUpperCaseValues, getLabelsOfUpperCaseValues, getMinUpperCaseValue, getMinUpperCaseValue, getUpperCaseLabels, getUpperCaseValue, getUpperCaseValues, getUpperCaseValues, mergeUpperCaseValue, putLabeledValue, putUpperCaseValue, removeUpperCaseValue, setUpperCaseValueMap, size, toString, upperCaseValuesAsString, upperCaseValueSize

Modifier and Type	Method	Description
final void	clearUpperCaseValues()	Clears all uppercase labeled values.
final 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()
final it.unimi.dsi.fastutil.objects.ObjectSet<Label>	getLabelsOfUpperCaseValues(ALabel aLabel)
final it.unimi.dsi.fastutil.objects.Object2ObjectMap.Entry<Label, it.unimi.dsi.fastutil.objects.Object2IntMap.Entry<ALabel>>	getMinUpperCaseValue()
final it.unimi.dsi.fastutil.objects.Object2IntMap.Entry<Label>	getMinUpperCaseValue(ALabel upperCaseLabel)
final it.unimi.dsi.fastutil.objects.ObjectSet<ALabel>	getUpperCaseLabels()
final int	getUpperCaseValue(Label l, ALabel name1)
final 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.
final it.unimi.dsi.fastutil.objects.ObjectSet<it.unimi.dsi.fastutil.objects.Object2IntMap.Entry<Label>>	getUpperCaseValues(ALabel aLabel)	Don't use this set for scanning that requires modifying the internal map; otherwise, this set will become invalid after the first modification.
final 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.
final boolean	putLabeledValue(Label l, int i)
final boolean	putUpperCaseValue(Label l, ALabel nodeName, int i)	Put an upper label constraint with delay i for the node name n with label l.
final int	removeUpperCaseValue(Label l, ALabel n)	Remove the upper label for node name n with label l.
final void	setUpperCaseValueMap(LabeledALabelIntTreeMap inputLabeledValue)
int	size()
final String	toString()	Return a string representation of labeled values.h
final String	upperCaseValuesAsString()
final int	upperCaseValueSize()

Methods inherited from class CSTNEdgePluggable

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

Modifier and Type	Method	Description
final Class<? extends LabeledIntMap>	getLabeledIntMapImplClass()
final it.unimi.dsi.fastutil.objects.ObjectSet<it.unimi.dsi.fastutil.objects.Object2IntMap.Entry<Label>>	getLabeledValues()
it.unimi.dsi.fastutil.objects.ObjectSet<Label>	getLabelsOfLabeledValues()
final it.unimi.dsi.fastutil.objects.Object2IntMap.Entry<Label>	getMinLabeledValue()
int	getMinValue()
final int	getMinValueSubsumedBy(Label l)
final int	getValue(Label label)
boolean	isCSTNEdge()	This method is inappropriate here, but it helps to speed up the code.
final String	labeledValuesAsString()
boolean	mergeLabeledValue(String ls, int i)	Wrapper method for CSTNEdge.mergeLabeledValue(Label, int).
void	mergeLabeledValues(LabeledIntMap map)
final void	removeLabeledValue(Label l)	Remove the value labeled by l from the map.
final void	setLabeledValueMap(LabeledIntMap inputLabeledValue)	Uses inputLabeledValue as an internal labeled value map.

Methods inherited from class AbstractEdge

getConstraintType, getRoute, isCSTNUEdge, isOSTNUEdge, isSTNEdge, isSTNUEdge, setConstraintType, setName, setRoute

Modifier and Type	Method	Description
final Edge.ConstraintType	getConstraintType()
final EdgeRoute	getRoute()
boolean	isCSTNUEdge()	This method is inappropriate here, but it helps to speed up the code.
boolean	isOSTNUEdge()	This method is inappropriate here, but it helps to speed up the code.
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.
final void	setConstraintType(Edge.ConstraintType type)
final String	setName(String newName)	Sets the name of the edge.
final void	setRoute(EdgeRoute route1)	Sets the explicit routing of this edge, or null to return the edge to automatic.

Methods inherited from class AbstractComponent

addObserver, compareTo, equals, equalsByName, getName, hashCode, inNegativeCycle, isNameManagedByGraph, markNameManagedByGraph, removeObserver, renameInternal, setInNegativeCycle, takeIn

Modifier and Type	Method	Description
final void	addObserver(String propertyName, PropertyChangeListener l)	An observer for the property.
final int	compareTo(Component o)	Implements the natural order of the component names.
boolean	equals(Object o)	Deprecated.
final boolean	equalsByName(Component c)	A component is assumed to be equal to another if it has the same name.
final String	getName()
final int	hashCode()
final boolean	inNegativeCycle()
(package private) final boolean	isNameManagedByGraph()
(package private) final void	markNameManagedByGraph()	Locks AbstractComponent.setName(String).
final void	removeObserver(String propertyName, PropertyChangeListener listener)	Removes a specific listener
(package private) final void	renameInternal(String newName)	Sets the name without validation or notification.
final void	setInNegativeCycle(boolean isInNegativeCycle)	Sets true if the edge is in a negative cycle
final void	takeIn(Component c)

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface Edge

isContingentEdge, isRequirementEdge

Modifier and Type	Method	Description
default boolean	isContingentEdge()
default boolean	isRequirementEdge()

Field Details

consideredLowerCaseValue

it.unimi.dsi.fastutil.objects.Object2IntMap<it.unimi.dsi.fastutil.objects.Object2ObjectMap.Entry<Label,ALabel>> consideredLowerCaseValue

The CSTNU controllability check algorithm needs to know if a labeled value has already been considered in the past to avoid adding it a second time.

lowerCaseValues

LabeledALabelIntTreeMap lowerCaseValues

Morris Lower case value augmented by a propositional label.

The name of the node has to be equal to the original name. No case modifications are necessary!

Constructor Details

CSTNPSUEdgePluggable

CSTNPSUEdgePluggable()

Default constructor. Empty edge.

CSTNPSUEdgePluggable

CSTNPSUEdgePluggable(String n)

Parameters:

n - name of edge

CSTNPSUEdgePluggable

CSTNPSUEdgePluggable(Edge e)

Constructor to clone the component.

Parameters:

e - the edge to clone.

Method Details

clear

public void clear()

Description copied from class: CSTNEdgePluggable

Clear all components but the name.

Clear (remove) all labeled values associated with this edge.

Specified by:

clear in interface Component

Overrides:

clear in class BasicCSTNUEdgePluggable

clearLowerCaseValue

public void clearLowerCaseValue()

Description copied from interface: BasicCSTNUEdge

Clears the labeled lowercase values. For CSTNU, there is always only one value, but for some extensions, it can be more.

Specified by:

clearLowerCaseValue in interface BasicCSTNUEdge

clearLowerCaseValues

public final void clearLowerCaseValues()

Description copied from interface: CSTNPSUEdge

Clears the labeled lowercase values.

Specified by:

clearLowerCaseValues in interface CSTNPSUEdge

getAllLowerCaseAndLabeledValues

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

Description copied from interface: CSTNPSUEdge

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

Specified by:

getAllLowerCaseAndLabeledValues in interface CSTNPSUEdge

Returns:

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

getLabelsOfLowerCaseValues

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

Specified by:

getLabelsOfLowerCaseValues in interface CSTNPSUEdge

Parameters:

aLabel - the lower-case label

Returns:

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

getLabelsOfLowerCaseValues

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

Specified by:

getLabelsOfLowerCaseValues in interface CSTNPSUEdge

Returns:

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

getLowerCaseLabels

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

Specified by:

getLowerCaseLabels in interface CSTNPSUEdge

Returns:

the set of all lower-case labels.

getLowerCaseValue

public int getLowerCaseValue(Label l,
 ALabel name1)

Specified by:

getLowerCaseValue in interface CSTNPSUEdge

Parameters:

l - a Label object.

name1 - a ALabel node name.

Returns:

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

getLowerCaseValues

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

Description copied from interface: CSTNPSUEdge

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

Specified by:

getLowerCaseValues in interface CSTNPSUEdge

Returns:

the set of all labeled lower-case values.

setLowerCaseValues

public void setLowerCaseValues(LabeledALabelIntTreeMap lowerCaseValue1)

Specified by:

setLowerCaseValues in interface CSTNPSUEdge

Parameters:

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

getLowerCaseValues

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

Specified by:

getLowerCaseValues in interface CSTNPSUEdge

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

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

Specified by:

getMinLowerCaseValue in interface CSTNPSUEdge

Returns:

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

hasSameValues

public final boolean hasSameValues(Edge e)

Specified by:

hasSameValues in interface Edge

Overrides:

hasSameValues in class BasicCSTNUEdgePluggable

Parameters:

e - the other edge

Returns:

true if it has the same values.

isCSTNPSUEdge

public boolean isCSTNPSUEdge()

Description copied from interface: Edge

This method is inappropriate here, but it helps to speed up the code.

Specified by:

isCSTNPSUEdge in interface Edge

Overrides:

isCSTNPSUEdge in class AbstractEdge

Returns:

true if the edge is a CSTNPSU edge

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Edge

Overrides:

isEmpty in class BasicCSTNUEdgePluggable

Returns:

true if it does not contain any values

lowerCaseValueAsString

public String lowerCaseValueAsString()

Specified by:

lowerCaseValueAsString in interface BasicCSTNUEdge

Returns:

the representation of the lower-case value(s) of the edge.

lowerCaseValueSize

public final int lowerCaseValueSize()

Specified by:

lowerCaseValueSize in interface BasicCSTNUEdge

Returns:

the number of lower-case value(s) of the edge.

mergeLabeledValue

public final boolean mergeLabeledValue(Label l,
 int i)

Description copied from class: CSTNEdgePluggable

Merges the labeled value i into the set of labeled values of this edge.

Merges the labeled value i into the set of labeled values of this edge.

Specified by:

mergeLabeledValue in interface CSTNEdge

Overrides:

mergeLabeledValue in class BasicCSTNUEdgePluggable

Parameters:

l - a Label object.

i - the new weight.

Returns:

true if the operation was successful, false otherwise.

mergeLowerCaseValue

public final boolean mergeLowerCaseValue(@Nonnull
 Label l,
 @Nonnull
 ALabel nodeName,
 int i)

Description copied from interface: CSTNPSUEdge

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

Specified by:

mergeLowerCaseValue in interface CSTNPSUEdge

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.

newInstance

public CSTNPSUEdgePluggable newInstance()

Description copied from interface: Edge

Factory

Specified by:

newInstance in interface Edge

Overrides:

newInstance in class CSTNEdgePluggable

Returns:

an object of type Edge.

newInstance

public CSTNPSUEdgePluggable newInstance(Edge edge)

Description copied from interface: Edge

Any super-interfaces/implementing classes should ensure that such a method has the edge as an argument!

Specified by:

newInstance in interface Edge

Overrides:

newInstance in class CSTNEdgePluggable

Parameters:

edge - an object to clone.

Returns:

an object of type Edge.

newInstance

public CSTNPSUEdgePluggable newInstance(String name1)

Description copied from interface: Edge

Factory

Specified by:

newInstance in interface Edge

Overrides:

newInstance in class CSTNEdgePluggable

Parameters:

name1 - of the edge

Returns:

an object of type Edge.

putLowerCaseValue

public final void putLowerCaseValue(@Nonnull
 Label l,
 @Nonnull
 ALabel nodeName,
 int i)

Description copied from interface: BasicCSTNUEdge

Set or add a lower label constraint with delay i for the node n with label l.

If a value with a lower-case nodeName and label l for node n is already present, it is overwritten.

Specified by:

putLowerCaseValue in interface BasicCSTNUEdge

Parameters:

l - the label

nodeName - the node name. It cannot be null.

i - the new value

removeLowerCaseValue

public final void removeLowerCaseValue(Label l,
 ALabel n)

Specified by:

removeLowerCaseValue in interface CSTNPSUEdge

Parameters:

l - a Label object.

n - a ALabel node name

takeIn

public void takeIn(Edge e)

Description copied from interface: Edge

A copy by reference of the internal structure of edge e.

Specified by:

takeIn in interface Edge

Overrides:

takeIn in class BasicCSTNUEdgePluggable

Parameters:

e - edge to clone. If null, it does nothing.