de.rwth.i2.attestor.generated.node

Interface Switchable

All Known Implementing Classes:

AAndStateform, AAtomicpropTerm, ABimapAtomicprop, ABtreeAtomicprop, ADllAtomicprop, AEqualAtomicprop, AFalseTerm, AFinallyLtlform, AGloballyLtlform, AIdenticneighboursAtomicprop, AImpliesLtlform, AIsreachAtomicprop, AIsreachselAtomicprop, ANegStateform, ANextLtlform, ANotequalAtomicprop, ANtshapeAtomicprop, AOrStateform, AReleaseLtlform, ASllAtomicprop, AStateformLtlform, ATerminatedAtomicprop, ATermLtlform, ATreeAtomicprop, ATrueTerm, AUntilLtlform, AVisitedAtomicprop, AVisitedbyAtomicprop, EOF, InvalidToken, Node, PAtomicprop, PLtlform, PStateform, PTerm, Start, TAnd, TApbimap, TApbtree, TApdll, TApequal, TApidenticneighbours, TApisreach, TApisreachsel, TApnotequal, TApntshape, TApsll, TApterminated, TAptree, TApvisited, TApvisitedby, TBlank, TFalse, TFinally, TGlobally, TImplies, TLcurlyparen, TLparen, TNeg, TNext, Token, TOr, TRcurlyparen, TRelease, TRparen, TTrue, TUntil

public interface Switchable

Method Summary

Modifier and Type	Method and Description
void	apply(Switch sw)

Method Detail

apply

void apply(Switch sw)