public final class AForallLtl extends PLtl
Constructor and Description |
---|
AForallLtl() |
AForallLtl(TForallIdentifier _forallIdentifier_,
TAtomicPropositionBegin _predicate_,
PLtl _ltl_) |
Modifier and Type | Method and Description |
---|---|
void |
apply(Switch sw) |
java.lang.Object |
clone() |
TForallIdentifier |
getForallIdentifier() |
PLtl |
getLtl() |
TAtomicPropositionBegin |
getPredicate() |
void |
setForallIdentifier(TForallIdentifier node) |
void |
setLtl(PLtl node) |
void |
setPredicate(TAtomicPropositionBegin node) |
java.lang.String |
toString() |
cloneList, cloneNode, parent, replaceBy, toString, toString
getEndPos, getStartPos, setEndPos, setStartPos
public AForallLtl()
public AForallLtl(TForallIdentifier _forallIdentifier_, TAtomicPropositionBegin _predicate_, PLtl _ltl_)
public void apply(Switch sw)
public TForallIdentifier getForallIdentifier()
public void setForallIdentifier(TForallIdentifier node)
public TAtomicPropositionBegin getPredicate()
public void setPredicate(TAtomicPropositionBegin node)
public PLtl getLtl()
public void setLtl(PLtl node)
public java.lang.String toString()
toString
in class java.lang.Object