public final class AExistsLtl extends PLtl
Constructor and Description |
---|
AExistsLtl() |
AExistsLtl(TExistsIdentifier _existsIdentifier_,
TAtomicPropositionBegin _predicate_,
PLtl _ltl_) |
Modifier and Type | Method and Description |
---|---|
void |
apply(Switch sw) |
java.lang.Object |
clone() |
TExistsIdentifier |
getExistsIdentifier() |
PLtl |
getLtl() |
TAtomicPropositionBegin |
getPredicate() |
void |
setExistsIdentifier(TExistsIdentifier node) |
void |
setLtl(PLtl node) |
void |
setPredicate(TAtomicPropositionBegin node) |
java.lang.String |
toString() |
cloneList, cloneNode, parent, replaceBy, toString, toString
getEndPos, getStartPos, setEndPos, setStartPos
public AExistsLtl()
public AExistsLtl(TExistsIdentifier _existsIdentifier_, TAtomicPropositionBegin _predicate_, PLtl _ltl_)
public void apply(Switch sw)
public TExistsIdentifier getExistsIdentifier()
public void setExistsIdentifier(TExistsIdentifier 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