Package MAKBPInterpreter.logic

Interface LogicAssignment

All Known Implementing Classes:

ModalLogicAssignment, PropositionalLogicAssignment

public interface LogicAssignment

Represents a logic assignment for a formula evaluation.