addTransition(V1Transition *t) | V1StateVector | |
appendElement(V1StateElements *e) | V1StateVector | |
clone() | V1StateVectorKeep | [virtual] |
complement() | V1StateVectorKeep | [virtual] |
forbid() | V1StateVector | |
generic() | V1StateVectorKeep | [virtual] |
getFirstLine() | V1StateVector | |
getTransition() | V1StateVector | [protected] |
keep() | V1StateVectorKeep | [virtual] |
resolveComplements() | V1StateVectorKeep | [virtual] |
setFirstLine(int first_line) | V1StateVector | |
size() | V1StateVectorKeep | [virtual] |
transform(int dimension, MNList< V2StateVector * > &out) | V1StateVectorKeep | [virtual] |
V1StateVector() | V1StateVector | |
V1StateVector(V1StateVector &orig) | V1StateVector | |
V1StateVectorKeep(int first_line) | V1StateVectorKeep | |
V1StateVectorKeep(V1StateVectorKeep &orig) | V1StateVectorKeep | |
~V1StateVector() | V1StateVector | [inline, virtual] |