Definition des Indexoperators in der Klasse

PrimImplikanteCollection.cpp