Files | |
| file | batof-formulas.h [code] |
| file | batof-sfp.h [code] |
| file | prestaf-automata.h [code] |
| file | prestaf-batof.h [code] |
| file | prestaf-formula.h [code] |
| This module implements an encoding of Presburger formulae. It computes also for a given formula its set of solutions using Shared Automata. | |
| file | prestaf-init.h [code] |
| file | prestaf-predicate.h [code] |
This module allows the manipulation of predicates for which variables take their value into  . The relation underlying a predicate is encoded using a sataf_msa. | |
