Package modelcounter

Class Summary

Class	Description
ABC
AutomataBasedModelCounting
Buchi2Graph
Count
CountMain
CountREModels
CountRltlConv
EmersonLeiAutomatonBasedModelCounting<S>	AuRUS's approximate bounded LTL model counter (the ApMC of the paper): estimates the number of satisfying traces of bounded length of an LTL formula by a single linear-algebra computation over the formula's automaton.
MatrixBigIntegerModelCounting
Rltlconv_LTLModelCounter