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, toStringgetEndPos, getStartPos, setEndPos, setStartPospublic 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