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

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

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

class	Conjunction A class representing the conjunction of formulas.
class	Disjunction A class representing the disjunction of formulas.