org.dllearner.prolog
Class Atom

java.lang.Object
  org.dllearner.prolog.Atom

public class Atom
extends Object

Author:

Sebastian Bader

Constructor Summary

Atom(String name, ArrayList<Term> arguments)

Method Summary

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()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Atom

public Atom(String name,
            ArrayList<Term> arguments)

Method Detail

getArguments

public ArrayList<Term> getArguments()

getName

public String getName()

isGround

public boolean isGround()

getArgument

public Term getArgument(int index)

getArity

public int getArity()

getInstance

public Atom getInstance(Variable variable,
                        Term term)

Parameters:

variable - Substitution variable.

term - A term.

Returns:

Returns a new instance of this term, where the variable is replaced by the term.

toString

public String toString()

Overrides:

toString in class Object

toPLString

public String toPLString()

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object