Package | Description |
---|---|
net.sf.tweety.lp.asp.parser | |
net.sf.tweety.lp.asp.syntax |
Modifier and Type | Method and Description |
---|---|
Aggregate |
InstantiateVisitor.visit(ASTAggregate node,
java.lang.Object data) |
Modifier and Type | Method and Description |
---|---|
Aggregate |
Aggregate.clone() |
Aggregate |
Aggregate.substitute(Term<?> t,
Term<?> v) |
Constructor and Description |
---|
Aggregate(Aggregate other) |