|
|||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
BitSet
that maintains the count of bits set to 1.0
through
nbits-1
.
EXTENSION
Default extension for GENTRA4CP file
VariableManager
is a utility class that manages the
domain of all the variables declared and used during a session. Explanation
consists of a cause list and a contraint list.
|
|||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |