public class TermTuple extends Tuple<aterm.ATermAppl>
Title: Term Tuple
Description:
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
| Constructor and Description |
|---|
TermTuple(aterm.ATermAppl... terms) |
TermTuple(DependencySet ds,
aterm.ATermAppl... terms) |
TermTuple(DependencySet ds,
List<aterm.ATermAppl> terms) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(Object other) |
List<aterm.ATermAppl> |
getVars() |
String |
toString() |
getDependencySet, getElements, hashCodepublic TermTuple(DependencySet ds, List<aterm.ATermAppl> terms)
public TermTuple(DependencySet ds, aterm.ATermAppl... terms)
public TermTuple(aterm.ATermAppl... terms)
Copyright © 2013. All Rights Reserved.