Index of class methods


A
add_label [Bddenum.db]
Declaration of a new label/var
add_typ [Formula.db]
add_typ [Bddenum.db]
Declaration of a new type
add_var [Formula.db]
add_var [Bddvar.db]
Add a variable

B
bddincr [Formula.db]
bddincr [Bddvar.db]
bddindex [Formula.db]
bddindex [Bddvar.db]

C
careset [Formula.db]
careset [CondDD.db]
cond [Formula.db]
cond [CondDD.db]
cond_of_idb [Formula.db]
cond_of_idb [CondDD.db]

I
idcondvar [Formula.db]
idcondvar [Bddvar.db]

M
manager [Formula.db]
manager [Bddenum.db]
mem_typ [Formula.db]
mem_typ [Bddenum.db]
Is the type defined in the database ?
mem_var [Formula.db]
mem_var [Bddenum.db]
Is the label/var defined in the database ?

P
print_external_idcondb [Formula.db]
print_external_idcondb [Bddvar.db]
print_order [Formula.db]
print_order [Bddvar.db]
Print the BDD variable ordering

S
set_bddincr [Formula.db]
set_bddincr [Bddvar.db]
set_bddindex [Formula.db]
set_bddindex [Bddvar.db]
set_careset [Formula.db]
set_careset [CondDD.db]
set_idcondvar [Formula.db]
set_idcondvar [Bddvar.db]
set_print_external_idcondb [Formula.db]
set_print_external_idcondb [Bddvar.db]
set_typdef [Formula.db]
set_typdef [Bddenum.db]
set_varinfo [Formula.db]
set_varinfo [Bddvar.db]
set_varset [Formula.db]
set_varset [Bddvar.db]
set_vartyp [Formula.db]
set_vartyp [Bddenum.db]

T
typ_of_var [Formula.db]
typ_of_var [Arith.db]
typ_of_var [Bddenum.db]
Return the type of the label (or later variable)
typdef [Formula.db]
typdef [Bddenum.db]
typdef_of_typ [Formula.db]
typdef_of_typ [Bddenum.db]
Return the definition of the type

V
var_of_idcond [Formula.db]
var_of_idcond [Bddvar.db]
Return the variable associated to the BDD identifier.
varinfo [Formula.db]
varinfo [Bddvar.db]
varset [Formula.db]
varset [Bddvar.db]
vartyp [Formula.db]
vartyp [Bddenum.db]