public final class ATheoremsContextClause extends PContextClause
| Constructor and Description |
|---|
ATheoremsContextClause() |
ATheoremsContextClause(java.util.List<PPredicate> _predicates_) |
| Modifier and Type | Method and Description |
|---|---|
void |
apply(Switch sw) |
java.lang.Object |
clone() |
java.util.LinkedList<PPredicate> |
getPredicates() |
void |
setPredicates(java.util.List<PPredicate> list) |
java.lang.String |
toString() |
cloneList, cloneNode, parent, replaceBy, toString, toStringgetEndPos, getStartPos, setEndPos, setStartPospublic ATheoremsContextClause()
public ATheoremsContextClause(java.util.List<PPredicate> _predicates_)
public void apply(Switch sw)
public java.util.LinkedList<PPredicate> getPredicates()
public void setPredicates(java.util.List<PPredicate> list)
public java.lang.String toString()
toString in class java.lang.Object