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

Packages that use PTerm

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

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

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

Modifier and Type	Class and Description
class	AAtomicpropTerm
class	AFalseTerm
class	ATrueTerm

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

Modifier and Type	Method and Description
PTerm	ATermLtlform.getTerm()

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

Modifier and Type	Method and Description
void	ATermLtlform.setTerm(PTerm node)

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

Constructor and Description
ATermLtlform(PTerm _term_)