org.dllearner.prolog
Class PredicateDefinition

java.lang.Object
  org.dllearner.prolog.PredicateDefinition

public class PredicateDefinition
extends Object

Author:

Sebastian Bader

Constructor Summary

PredicateDefinition(Atom atom)

PredicateDefinition(String name, int arity)

Method Summary

boolean	equals(Object obj)
int	getArity()
String	getName()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

PredicateDefinition

public PredicateDefinition(String name,
                           int arity)

PredicateDefinition

public PredicateDefinition(Atom atom)

Method Detail

getArity

public int getArity()

getName

public String getName()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object