org.dllearner.prolog

Class Body

java.lang.Object

org.dllearner.prolog.Body

public class Body
extends Object

Author:

Sebastian Bader

Constructor Summary

Constructors

Constructor and Description
Body()

Method Summary

Modifier and Type	Method and Description
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

clone, equals, finalize, 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()