Pandora.LogicParser.Formula

Classes  And Atom Equals Exists False Forall Formula Function Iff Implies Not Num Or Predicate Quantifier SimpleTerm Sk SkTerm SVar Term True Tuple Unknown Var