Uses of Class
de.rwth.i2.attestor.generated.node.PStateform

Packages that use PStateform

Package	Description
de.rwth.i2.attestor.generated.node

Uses of PStateform in de.rwth.i2.attestor.generated.node

Subclasses of PStateform in de.rwth.i2.attestor.generated.node

Modifier and Type	Class and Description
class	AAndStateform
class	ANegStateform
class	AOrStateform

Methods in de.rwth.i2.attestor.generated.node that return PStateform

Modifier and Type	Method and Description
PStateform	AStateformLtlform.getStateform()

Methods in de.rwth.i2.attestor.generated.node with parameters of type PStateform

Modifier and Type	Method and Description
void	AStateformLtlform.setStateform(PStateform node)

Constructors in de.rwth.i2.attestor.generated.node with parameters of type PStateform

Constructor and Description
AStateformLtlform(PStateform _stateform_)