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.

See Also:

Serialized Form

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)

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

Constructor Detail

ActivityLibrary

public ActivityLibrary()

Method Detail

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)