Module InvGenMiner.Bool

module Bool: CandGen 
Bool candidate term miner.

Integer candidate term miner.


val mine : bool -> bool -> TransSys.t -> (TransSys.t * Term.TermSet.t) list
Generates sets of candidate terms from a transition system, and its subsystems if the second flag require it. First flag is for two-state.