jTrolog.lib

Class DCGLibrary

java.lang.Object

jTrolog.lib.Library

jTrolog.lib.DCGLibrary

All Implemented Interfaces:

Serializable

public class DCGLibrary
extends Library

Library for managing DCGs. Library/Theory dependency: BasicLibrary

See Also:

Serialized Form

Field Summary

Fields inherited from class jTrolog.lib.Library

engine

Constructor Summary

Constructors

Constructor and Description
DCGLibrary()

Method Summary

Modifier and Type	Method and Description
String	getTheory()

Methods inherited from class jTrolog.lib.Library

dismiss, getName, getSynonym, onSolveBegin, onSolveEnd, setEngine

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DCGLibrary

public DCGLibrary()

Method Detail

getTheory

public String getTheory()

Overrides:

getTheory in class Library

Returns:

the theory provided with the library (an empty theory is default).