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. |