org.dllearner.prolog
Class Program

java.lang.Object
  org.dllearner.prolog.Program

public class Program
extends Object

Author:

Sebastian Bader

Constructor Summary

Program()

Method Summary

void	addClause(Clause clause)
ArrayList<Clause>	getClauses()
boolean	isGround()
String	toPLString()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Program

public Program()

Method Detail

addClause

public void addClause(Clause clause)

getClauses

public ArrayList<Clause> getClauses()

isGround

public boolean isGround()

toString

public String toString()

Overrides:

toString in class Object

toPLString

public String toPLString()