time_constraint.constr_eval
Class binnode

java.lang.Object
  |
  +--time_constraint.constr_eval.request
        |
        +--time_constraint.constr_eval.binnode

All Implemented Interfaces:

java.io.Serializable

public class binnode

extends request

The binnode class rapresents a node of the tree representing the constraint.

Since:

Version 1.2

Version:

1.0

Author:

Daniela Olivieri

See Also:

Serialized Form

Field Summary

int	op Represents the operator identifier.

Fields inherited from class time_constraint.constr_eval.request

m, o1, o2, p

Constructor Summary

binnode(request r, int op)
Initializes the binnode.

Methods inherited from class java.lang.Object

, clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

op

public int op

Represents the operator identifier.

Since:

Version 1.0

Constructor Detail

binnode

public binnode(request r,
               int op)

Initializes the binnode. r is a request and op is the operator identifier represented by the node.

Parameters:

r - is a request.

op - is the operator identifier: AND(1), BEFORE(2), EXIST(3), FORALL(4), NOT(5), EQUAL(6), OR(7), ONCE(8), SINCE(9), SOFAR(10), MAJOR(11), MINOR(12), TRUE(20).

Since:

Version 1.0