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 ActivityLibrary  

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

All Implemented Interfaces:

java.io.Serializable

---

public class ActivityLibrary

extends Library

It's a tuprolog library used by prolog agent spawned as PrologActivity from ReSpecT source.

---

Field Summary
(package private)  UserLocal	user

 

Fields inherited from class alice.respect.Library

coord, vm

 

Fields inherited from class alice.tuprolog.Library

theory

 

Constructor Summary

ActivityLibrary()

 

Method Summary
boolean	get_spec_1(alice.tuprolog.Struct g)
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)
boolean	set_spec_1(alice.tuprolog.Struct g)
(package private)  void	setupTupleCentreUser(AgentId id, alice.tuplemedium.TupleCentreVMImpl core)

 

Methods inherited from class alice.respect.Library

current_agent_1, current_op_1, current_tc_1, current_time_1, current_tuple_1, failure_0, in_r_1, init, no_r_1, out_r_1, out_tc_1, post_0, pre_0, rd_r_1, spawn_1, spy, success_0

 

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

user

UserLocal user

Constructor Detail

ActivityLibrary

public ActivityLibrary()

Method Detail

setupTupleCentreUser

void setupTupleCentreUser(AgentId id,
                          alice.tuplemedium.TupleCentreVMImpl core)

---

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)

---

set_spec_1

public boolean set_spec_1(alice.tuprolog.Struct g)

---

get_spec_1

public boolean get_spec_1(alice.tuprolog.Struct g)

---

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

---