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

---

alice.tuprolog.lib
Class LogicTSLibrary  

java.lang.Object
  alice.tuprolog.Library
      alice.tuprolog.lib.LogicTSLibrary

All Implemented Interfaces:

java.io.Serializable

---

public class LogicTSLibrary

extends alice.tuprolog.Library

this library allows the interaction of prolog (and java) agents thorugh a locally defined tuple space refer to tuplemedium documentation for understanding of coordination primitives

---

Field Summary
(package private)  TupleSpace	medium

 

Fields inherited from class alice.tuprolog.Library

theory

 

Constructor Summary

LogicTSLibrary()

 

Method Summary
boolean	in_1(alice.tuprolog.Struct g)
boolean	inp_1(alice.tuprolog.Struct g)
boolean	out_1(alice.tuprolog.Struct g)
boolean	rd_1(alice.tuprolog.Struct g)
boolean	rdp_1(alice.tuprolog.Struct g)
void	setMedium(TupleSpace space)

 

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

 

Field Detail

medium

TupleSpace medium

Constructor Detail

LogicTSLibrary

public LogicTSLibrary()

Method Detail

setMedium

public void setMedium(TupleSpace space)

---

out_1

public boolean out_1(alice.tuprolog.Struct g)

---

in_1

public boolean in_1(alice.tuprolog.Struct g)

---

inp_1

public boolean inp_1(alice.tuprolog.Struct g)

---

rd_1

public boolean rd_1(alice.tuprolog.Struct g)

---

rdp_1

public boolean rdp_1(alice.tuprolog.Struct g)

---

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

---