Uses of Class
de.uni_tuebingen.sfb.lichtenstein.formulas.BinaryJunctor

Uses of BinaryJunctor in de.uni_tuebingen.sfb.lichtenstein.formulas

Subclasses of BinaryJunctor in de.uni_tuebingen.sfb.lichtenstein.formulas

class	Equivalence A class representing the equivalence in logical formulas.
class	Implication A class representing the implication of formulas.