Package org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.activityHeuristics

Interface Summary

Interface	Description
IActivity	Ein Interface dass es ermoeglicht die Aktivity Heuristik auf unterschiedliche arten zu implementieren

Class Summary

Class	Description
AbstractActivity
NonRandomHeapActivity
RandomHeapActivity
StaticHeapActivity