rmp

Class Path

java.lang.Object

rmp.Path

All Implemented Interfaces:

java.lang.Cloneable

public class Path
extends java.lang.Object
implements java.lang.Cloneable

Constructor Summary

Constructors

Constructor and Description
Path(int maxSize)
Path(int[] transitions, java.util.ArrayList<rmp.Path.Tuple> cardinalities)

Method Summary

Modifier and Type	Method and Description
void	addTransition(int transition, int maxSize)
java.lang.Object	clone()
boolean	equals(Path testPath)
java.util.ArrayList<rmp.Path.Tuple>	getCardinalities()
java.util.ArrayList<java.lang.String>	getTransitionNames(TransitionList transitionList)
int[]	getTransitions()
java.util.ArrayList<Transition>	getTransitions(TransitionList transitionList)
boolean	isSuperset(Path testPath)
int	length()
java.lang.String	toString(TransitionList transitionList)

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Path

public Path(int maxSize)

Path

public Path(int[] transitions,
            java.util.ArrayList<rmp.Path.Tuple> cardinalities)

Method Detail

equals

public boolean equals(Path testPath)

getTransitions

public int[] getTransitions()

getCardinalities

public java.util.ArrayList<rmp.Path.Tuple> getCardinalities()

clone

public java.lang.Object clone()

Overrides:

clone in class java.lang.Object

addTransition

public void addTransition(int transition,
                          int maxSize)

length

public int length()

isSuperset

public boolean isSuperset(Path testPath)

toString

public java.lang.String toString(TransitionList transitionList)

getTransitionNames

public java.util.ArrayList<java.lang.String> getTransitionNames(TransitionList transitionList)

getTransitions

public java.util.ArrayList<Transition> getTransitions(TransitionList transitionList)