Constructor and Description |
---|
Atom(String name,
ArrayList<Term> arguments) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object obj) |
Term |
getArgument(int index) |
ArrayList<Term> |
getArguments() |
int |
getArity() |
Atom |
getInstance(Variable variable,
Term term) |
String |
getName() |
int |
hashCode() |
boolean |
isGround() |
String |
toPLString() |
String |
toString() |
public ArrayList<Term> getArguments()
public boolean isGround()
public Term getArgument(int index)
public int getArity()
public Atom getInstance(Variable variable, Term term)
variable
- Substitution variable.term
- A term.public String toPLString()
DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2019 Jens Lehmann