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

---

alice.respect
Class Library  

java.lang.Object
  alice.tuprolog.Library
      alice.respect.Library

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

ActivityLibrary

---

public class Library

extends alice.tuprolog.Library

this tuProlog library defines the behaviour of ReSpecT primitives, used inside ReSpecT sources.

---

Field Summary
(package private)  Reactor	coord
(package private)  TupleCentreVM	vm

 

Fields inherited from class alice.tuprolog.Library

theory

 

Constructor Summary

Library()

 

Method Summary
boolean	current_agent_1(alice.tuprolog.Struct g)
boolean	current_op_1(alice.tuprolog.Struct g)
boolean	current_tc_1(alice.tuprolog.Struct g)
boolean	current_time_1(alice.tuprolog.Struct g)
boolean	current_tuple_1(alice.tuprolog.Struct g)
boolean	failure_0(alice.tuprolog.Struct g)
boolean	in_r_1(alice.tuprolog.Struct g)
void	init(Reactor c, TupleCentreVM m)
boolean	no_r_1(alice.tuprolog.Struct g)
boolean	out_r_1(alice.tuprolog.Struct g)
boolean	out_tc_1(alice.tuprolog.Struct g)
boolean	post_0(alice.tuprolog.Struct g)
boolean	pre_0(alice.tuprolog.Struct g)
boolean	rd_r_1(alice.tuprolog.Struct g)
boolean	spawn_1(alice.tuprolog.Struct g)
protected  void	spy(java.lang.String msg)
boolean	success_0(alice.tuprolog.Struct g)

 

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

vm

TupleCentreVM vm

---

coord

Reactor coord

Constructor Detail

Library

public Library()

Method Detail

init

public void init(Reactor c,
                 TupleCentreVM m)

---

in_r_1

public boolean in_r_1(alice.tuprolog.Struct g)

---

rd_r_1

public boolean rd_r_1(alice.tuprolog.Struct g)

---

no_r_1

public boolean no_r_1(alice.tuprolog.Struct g)

---

out_r_1

public boolean out_r_1(alice.tuprolog.Struct g)

---

current_agent_1

public boolean current_agent_1(alice.tuprolog.Struct g)

---

current_tc_1

public boolean current_tc_1(alice.tuprolog.Struct g)

---

current_op_1

public boolean current_op_1(alice.tuprolog.Struct g)

---

current_tuple_1

public boolean current_tuple_1(alice.tuprolog.Struct g)

---

pre_0

public boolean pre_0(alice.tuprolog.Struct g)

---

post_0

public boolean post_0(alice.tuprolog.Struct g)

---

success_0

public boolean success_0(alice.tuprolog.Struct g)

---

failure_0

public boolean failure_0(alice.tuprolog.Struct g)

---

spawn_1

public boolean spawn_1(alice.tuprolog.Struct g)

---

out_tc_1

public boolean out_tc_1(alice.tuprolog.Struct g)

---

current_time_1

public boolean current_time_1(alice.tuprolog.Struct g)

---

spy

protected void spy(java.lang.String msg)

---

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

---