public class SetTerm extends net.sf.tweety.logics.commons.syntax.TermAdapter<Set<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>>>
| Constructor and Description |
|---|
SetTerm() |
SetTerm(Collection<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> terms) |
SetTerm(SetTerm other) |
| Modifier and Type | Method and Description |
|---|---|
SetTerm |
clone() |
boolean |
equals(Object o) |
String |
toString() |
public SetTerm()
public SetTerm(SetTerm other)
public SetTerm(Collection<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> terms)
Copyright © 2018. All rights reserved.