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.

See Also:

Serialized Form

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

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)