public List < Assignment > enumerateAllModels ( final ModelEnumerationHandler handler ) { return this . enumerateAllModels ( ( Collection < Variable > ) null , handler ) ; }
Enumerates all models of the current formula and passes it to a model enumeration handler .