# Functions
DefaultConfig returns the default configuration for a model iteration configuration.
DefaultLeastCommonVarProvider returns a new split variable provider which returns the variables with the smallest occurrence on the solver with default values.
DefaultMostCommonVarProvider returns a new split variable provider which returns the variables with the largest occurrence on the solver with default values.
DefaultStrategy constructs a new default model iteration strategy with the most common split provider and a maximum number of 500 models.
HandlerWithLimit generates a new handler which aborts a model iteration after the limit of found models is reached.
HandlerWithTimeout generates a new timeout handler with the given timeout.
New creates a new model iterator.
NewBasicStrategy constructs a new default model iteration strategy with a given split provider and a maximum number of models before a split is performed.
NewFixedVarProvider generates a new split variable provider which always returns the given variables.
NewLeastCommonVarProvider returns a new split variable provider which returns the variables with the smallest occurrence on the solver.
NewMostCommonVarProvider returns a new split variable provider which returns the variables with the largest occurrence on the solver.
NewNoSplitMEStrategy returns a new model iteration strategy without splits.
# Structs
BasicStrategy represents the default strategy for the model iteration.
Config represents a model iteration configuration including a handler and an iteration strategy.
A FixedVarProvider always returns the same split vars.
A LeastCommonVarProvider is a split variable provider which provides split variables which occur particularly seldom in the formulas on the solver.
A LimitHandler can be used to abort a model iteration depending on the number of found models.
A ModelIterator iterates over models on a solver.
A MostCommonVarProvider is a split variable provider which provides split variables which occur particularly often in the formulas on the solver.
NoSplitStrategy is strategy for the model iteration where there are no splits.
A TimeoutHandler can be used to abort a model iteration depending on a timeout set beforehand.
# Interfaces
Collector gathers functionality for model iteration collectors.
Handler describes the functionality of a model iteration handler.
A SplitProvider provides functionality to generate a new set of variables for model iteration functions.
Strategy represents a strategy for fine-tuning the SAT solver based model iteration.