|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--time_constraint.constr_eval.request | +--time_constraint.constr_eval.binnode
The binnode
class rapresents a node of the tree representing the
constraint.
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 |
|
Field Detail |
public int op
Constructor Detail |
public binnode(request r, int op)
binnode
. r
is a request
and
op
is the operator identifier represented by the node.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).
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |