org.dllearner.prolog
Class Body

java.lang.Object
  org.dllearner.prolog.Body

public class Body
extends Object

Author:

Sebastian Bader

Constructor Summary

Body()

Method Summary

void	addLiteral(Literal literal)
Body	getInstance(Variable variable, Term term)
ArrayList<Literal>	getLiterals()
boolean	isEmpty()
boolean	isGround()
String	toPLString()
String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Body

public Body()

Method Detail

addLiteral

public void addLiteral(Literal literal)

getLiterals

public ArrayList<Literal> getLiterals()

isEmpty

public boolean isEmpty()

isGround

public boolean isGround()

getInstance

public Body getInstance(Variable variable,
                        Term term)

toString

public String toString()

Overrides:

toString in class Object

toPLString

public String toPLString()