Package time_constraint.constr_eval

Class Summary
binnode The binnode class rapresents a node of the tree representing the constraint.
bintree The bintree class implements the tree that represents the constraint.
elhistory The elhistory class implements an element of the history.
partialhistory The partialhistory class implements the set of accepted service requests between the sender and the receiver.
request The request class represents the request of a service.
A request is [client, server, method, parameter].

An example of request:

[A; T; x; 5].
RFile The RFile class represents the constraints file.
vardom The vardom class represents variables and domains of existential and universal quantifier.