public final class ADlkLtl extends PLtl
| Constructor and Description |
|---|
ADlkLtl() |
ADlkLtl(java.util.List<PActions> _args_) |
| Modifier and Type | Method and Description |
|---|---|
void |
apply(Switch sw) |
java.lang.Object |
clone() |
java.util.LinkedList<PActions> |
getArgs() |
void |
setArgs(java.util.List<PActions> list) |
java.lang.String |
toString() |
cloneList, cloneNode, parent, replaceBy, toString, toStringgetEndPos, getStartPos, setEndPos, setStartPospublic ADlkLtl()
public ADlkLtl(java.util.List<PActions> _args_)