A B C D E F G H I L N O P Q S T U V

B

BinaryJunctor - Class in de.uni_tuebingen.sfb.lichtenstein.formulas

A superclass for implication and equivalence, implementing common methods for binary junctors.