org.dllearner.prolog
Class Literal

java.lang.Object
  org.dllearner.prolog.Literal

public class Literal
extends Object

Author:

Sebastian Bader

Constructor Summary

Literal(Atom atom, boolean state)

Method Summary

boolean	equals(Object obj)
Atom	getAtom()
Literal	getInstance(Variable variable, Term term)
int	hashCode()
boolean	isGround()
boolean	isPositive()
String	toPLString()
String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Literal

public Literal(Atom atom,
               boolean state)

Method Detail

getAtom

public Atom getAtom()

isPositive

public boolean isPositive()

isGround

public boolean isGround()

getInstance

public Literal getInstance(Variable variable,
                           Term 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