de.rwth.i2.attestor

Class NegationPusher

java.lang.Object

de.rwth.i2.attestor.generated.analysis.AnalysisAdapter

de.rwth.i2.attestor.generated.analysis.DepthFirstAdapter

de.rwth.i2.attestor.NegationPusher

All Implemented Interfaces:

Analysis, Switch

public class NegationPusher
extends DepthFirstAdapter

The negation pusher walks the AST and pushes any negation inside until there is only negation at term level. Created by christina on 15.09.17.

Constructor Summary

Constructors

Constructor and Description
NegationPusher()

Method Summary

Modifier and Type	Method and Description
void	caseAStateformLtlform(AStateformLtlform node)

Methods inherited from class de.rwth.i2.attestor.generated.analysis.DepthFirstAdapter

caseAAndStateform, caseAAtomicpropTerm, caseABimapAtomicprop, caseABtreeAtomicprop, caseADllAtomicprop, caseAEqualAtomicprop, caseAFalseTerm, caseAFinallyLtlform, caseAGloballyLtlform, caseAIdenticneighboursAtomicprop, caseAImpliesLtlform, caseAIsreachAtomicprop, caseAIsreachselAtomicprop, caseANegStateform, caseANextLtlform, caseANotequalAtomicprop, caseANtshapeAtomicprop, caseAOrStateform, caseAReleaseLtlform, caseASllAtomicprop, caseATerminatedAtomicprop, caseATermLtlform, caseATreeAtomicprop, caseATrueTerm, caseAUntilLtlform, caseAVisitedAtomicprop, caseAVisitedbyAtomicprop, caseStart, defaultIn, defaultOut, inAAndStateform, inAAtomicpropTerm, inABimapAtomicprop, inABtreeAtomicprop, inADllAtomicprop, inAEqualAtomicprop, inAFalseTerm, inAFinallyLtlform, inAGloballyLtlform, inAIdenticneighboursAtomicprop, inAImpliesLtlform, inAIsreachAtomicprop, inAIsreachselAtomicprop, inANegStateform, inANextLtlform, inANotequalAtomicprop, inANtshapeAtomicprop, inAOrStateform, inAReleaseLtlform, inASllAtomicprop, inAStateformLtlform, inATerminatedAtomicprop, inATermLtlform, inATreeAtomicprop, inATrueTerm, inAUntilLtlform, inAVisitedAtomicprop, inAVisitedbyAtomicprop, inStart, outAAndStateform, outAAtomicpropTerm, outABimapAtomicprop, outABtreeAtomicprop, outADllAtomicprop, outAEqualAtomicprop, outAFalseTerm, outAFinallyLtlform, outAGloballyLtlform, outAIdenticneighboursAtomicprop, outAImpliesLtlform, outAIsreachAtomicprop, outAIsreachselAtomicprop, outANegStateform, outANextLtlform, outANotequalAtomicprop, outANtshapeAtomicprop, outAOrStateform, outAReleaseLtlform, outASllAtomicprop, outAStateformLtlform, outATerminatedAtomicprop, outATermLtlform, outATreeAtomicprop, outATrueTerm, outAUntilLtlform, outAVisitedAtomicprop, outAVisitedbyAtomicprop, outStart

Methods inherited from class de.rwth.i2.attestor.generated.analysis.AnalysisAdapter

caseEOF, caseInvalidToken, caseTAnd, caseTApbimap, caseTApbtree, caseTApdll, caseTApequal, caseTApidenticneighbours, caseTApisreach, caseTApisreachsel, caseTApnotequal, caseTApntshape, caseTApsll, caseTApterminated, caseTAptree, caseTApvisited, caseTApvisitedby, caseTBlank, caseTFalse, caseTFinally, caseTGlobally, caseTImplies, caseTLcurlyparen, caseTLparen, caseTNeg, caseTNext, caseTOr, caseTRcurlyparen, caseTRelease, caseTRparen, caseTTrue, caseTUntil, defaultCase, getIn, getOut, setIn, setOut

Methods inherited from class java.lang.Object

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

Constructor Detail

NegationPusher

public NegationPusher()

Method Detail

caseAStateformLtlform

public void caseAStateformLtlform(AStateformLtlform node)

Specified by:

caseAStateformLtlform in interface Analysis

Overrides:

caseAStateformLtlform in class DepthFirstAdapter