Add new automata to the store, return a sequence of term constraints in case the asserted constraints have become inconsistent
Make sure that the exact length abstraction for the intersection of the stored automata has been pushed to the length prover
Produce an arbitrary word accepted by all the stored constraints
Produce a word of length len
accepted by all the stored
constraints
Produce a word of length len
accepted by all the stored
constraints
Return all constraints that were asserted (without any modifications)
Return some representation of the asserted constraints
Check whether some word is accepted by all the stored constraints