Package MAKBPInterpreter.logic.tests

This package defines the tests of the MAKBPInterpreter.logic package.

Author:

Guillaume LETELLIER, Corentin PIERRE

Class Summary

Class	Description
TestAnd	Test class for the And class.
TestAtom	Test class for the Atom class.
TestEquivalence	Test class for the Equivalence class.
TestImplication	Test class for the Implication class.
TestNot	Test class for the Not class.
TestOr	Test class for the Or class.