Overview  Package   Class  Use  Deprecated  Index
Home >> All >> alice >> tuprolog >> [ test overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

alice.tuprolog.test
Class TestLibrary  

java.lang.Object
  alice.tuprolog.Library
      alice.tuprolog.test.TestLibrary

All Implemented Interfaces:

java.io.Serializable

---

public class TestLibrary

extends alice.tuprolog.Library

Version:

---

Field Summary

 

Fields inherited from class alice.tuprolog.Library

theory

 

Constructor Summary

TestLibrary()

 

Method Summary
boolean	pr_1(alice.tuprolog.Struct goal)

 

Methods inherited from class alice.tuprolog.Library

dismiss, getEngine, getRenamedCopy, getTheory, onSolveBegin, onSolveEnd, setEngine, unify

 

Methods inherited from class java.lang.Object

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

 

Constructor Detail

TestLibrary

public TestLibrary()

Method Detail

pr_1

public boolean pr_1(alice.tuprolog.Struct goal)

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> alice >> tuprolog >> [ test overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---