TaPAS  0.2
prestaf Directory Reference


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 ${\cal N}$. The relation underlying a predicate is encoded using a sataf_msa.