Index _ | A | B | C | D | E | F | G | I | J | L | M | N | O | P | Q | R | S | T | U | V _ __and__() (logic1.firstorder.Formula method) __invert__() (logic1.firstorder.Formula method) __lshift__() (logic1.firstorder.Formula method) __or__() (logic1.firstorder.Formula method) __rshift__() (logic1.firstorder.Formula method) _F (class in logic1.firstorder) _T (class in logic1.firstorder) A All (class in logic1.firstorder) all (logic1.support.containers.GetVars property) And (class in logic1.firstorder) AndOr (class in logic1.firstorder) arg (logic1.firstorder.Not property) (logic1.firstorder.QuantifiedFormula property) atomic formula AtomicFormula (class in logic1.atomlib.sympy) (class in logic1.firstorder) B BinaryAtomicFormula (class in logic1.atomlib.sympy) blocks (logic1.abc.qe.QuantifierElimination attribute) BooleanFormula (class in logic1.firstorder) C C (class in logic1.atomlib.sympy) (class in logic1.theories.sets) C_ (class in logic1.atomlib.sympy) (class in logic1.theories.sets) classproperty (class in logic1.support.decorators) CNF collect_finished() (logic1.abc.qe.QuantifierElimination method) complement_func (logic1.atomlib.sympy.C property) (logic1.atomlib.sympy.C_ property) (logic1.atomlib.sympy.Eq property) (logic1.atomlib.sympy.Ge property) (logic1.atomlib.sympy.Gt property) (logic1.atomlib.sympy.Le property) (logic1.atomlib.sympy.Lt property) (logic1.atomlib.sympy.Ne property) conjunctive normal form constant converse_func (logic1.atomlib.sympy.Eq property) (logic1.atomlib.sympy.Ge property) (logic1.atomlib.sympy.Gt property) (logic1.atomlib.sympy.Le property) (logic1.atomlib.sympy.Lt property) (logic1.atomlib.sympy.Ne property) (logic1.theories.sets.Eq attribute) (logic1.theories.sets.Ne attribute) count_alternations() (logic1.firstorder.Formula method) D deleter() (logic1.support.decorators.classproperty method) disjunctive normal form DNF dual_func (logic1.atomlib.sympy.BinaryAtomicFormula property) (logic1.firstorder._F property) (logic1.firstorder._T property) (logic1.firstorder.All property) (logic1.firstorder.And property) (logic1.firstorder.Ex property) (logic1.firstorder.Or property) E Eq (class in logic1.atomlib.sympy) (class in logic1.theories.sets) Equivalent (class in logic1.firstorder) Ex (class in logic1.firstorder) F F (in module logic1.firstorder) finished (logic1.abc.qe.QuantifierElimination attribute) formula Formula (class in logic1.firstorder) FoundT func (logic1.firstorder._F property) (logic1.firstorder._T property) (logic1.firstorder.All property) (logic1.firstorder.And property) (logic1.firstorder.AtomicFormula property) (logic1.firstorder.Equivalent property) (logic1.firstorder.Ex property) (logic1.firstorder.Implies property) (logic1.firstorder.Not property) (logic1.firstorder.Or property) G Ge (class in logic1.atomlib.sympy) get_any_atom() (logic1.firstorder.AtomicFormula method) (logic1.firstorder.BooleanFormula method) (logic1.firstorder.Formula method) (logic1.firstorder.QuantifiedFormula method) get_qvars() (logic1.firstorder.AtomicFormula method) (logic1.firstorder.BooleanFormula method) (logic1.firstorder.Formula method) (logic1.firstorder.QuantifiedFormula method) (logic1.firstorder.TruthValue method) get_vars() (logic1.atomlib.sympy.AtomicFormula method) (logic1.atomlib.sympy.IndexedConstantAtomicFormula method) (logic1.firstorder.BooleanFormula method) (logic1.firstorder.Formula method) (logic1.firstorder.QuantifiedFormula method) (logic1.firstorder.TruthValue method) getter() (logic1.support.decorators.classproperty method) GetVars (class in logic1.support.containers) Gt (class in logic1.atomlib.sympy) I Implies (class in logic1.firstorder) index (logic1.atomlib.sympy.IndexedConstantAtomicFormula property) IndexedConstantAtomicFormula (class in logic1.atomlib.sympy) is_valid_atom() (logic1.abc.qe.QuantifierElimination static method) (logic1.theories.sets.QuantifierElimination static method) J Job (logic1.abc.qe.QuantifierElimination attribute) L LaTeX connversion to latex_symbol (logic1.atomlib.sympy.Eq attribute) (logic1.atomlib.sympy.Ge attribute) (logic1.atomlib.sympy.Gt attribute) (logic1.atomlib.sympy.Le attribute) (logic1.atomlib.sympy.Lt attribute) (logic1.atomlib.sympy.Ne attribute) (logic1.firstorder._F attribute) (logic1.firstorder._T attribute) (logic1.firstorder.All attribute) (logic1.firstorder.And attribute) (logic1.firstorder.Equivalent attribute) (logic1.firstorder.Ex attribute) (logic1.firstorder.Implies attribute) (logic1.firstorder.Not attribute) (logic1.firstorder.Or attribute) latex_symbol_spacing (logic1.firstorder.AtomicFormula attribute) (logic1.firstorder.BooleanFormula attribute) (logic1.firstorder.QuantifiedFormula attribute) Le (class in logic1.atomlib.sympy) lhs (logic1.atomlib.sympy.BinaryAtomicFormula property) (logic1.firstorder.Equivalent property) (logic1.firstorder.Implies property) logic1.abc module logic1.abc.qe module logic1.atomlib.sympy module logic1.firstorder module logic1.support module logic1.support.containers module logic1.support.decorators module logic1.support.renaming module logic1.theories module logic1.theories.sets module Lt (class in logic1.atomlib.sympy) M matrix (logic1.abc.qe.QuantifierElimination attribute) module logic1.abc logic1.abc.qe logic1.atomlib.sympy logic1.firstorder logic1.support logic1.support.containers logic1.support.decorators logic1.support.renaming logic1.theories logic1.theories.sets N Ne (class in logic1.atomlib.sympy) (class in logic1.theories.sets) negated (logic1.abc.qe.QuantifierElimination attribute) negation normal form NNF Normal Forms Not (class in logic1.firstorder) O Or (class in logic1.firstorder) P PNF pool (logic1.abc.qe.QuantifierElimination attribute) pop() (in module logic1.support.renaming) pop_block() (logic1.abc.qe.QuantifierElimination method) prenex normal form print_precedence (logic1.firstorder.AndOr attribute) (logic1.firstorder.AtomicFormula attribute) (logic1.firstorder.Equivalent attribute) (logic1.firstorder.Implies attribute) (logic1.firstorder.Not attribute) (logic1.firstorder.QuantifiedFormula attribute) (logic1.firstorder.TruthValue attribute) print_style (logic1.firstorder.AndOr attribute) (logic1.firstorder.Equivalent attribute) (logic1.firstorder.Implies attribute) (logic1.firstorder.Not attribute) (logic1.firstorder.TruthValue attribute) process_pool() (logic1.abc.qe.QuantifierElimination method) push() (in module logic1.support.renaming) (logic1.abc.qe.QuantifierElimination.Pool method) Q qe() (logic1.abc.qe.QuantifierElimination method) qe1p() (logic1.abc.qe.QuantifierElimination method) (logic1.theories.sets.QuantifierElimination method) QuantifiedFormula (class in logic1.firstorder) Quantifier (logic1.abc.qe.QuantifierElimination attribute) QuantifierBlock (logic1.abc.qe.QuantifierElimination attribute) QuantifierElimination (class in logic1.abc.qe) (class in logic1.theories.sets) QuantifierElimination.Pool (class in logic1.abc.qe) R relation rename() (in module logic1.support.renaming) rename_var() (logic1.atomlib.sympy.TermMixin static method) (logic1.firstorder.AtomicFormula static method) rhs (logic1.atomlib.sympy.BinaryAtomicFormula property) (logic1.firstorder.Equivalent property) (logic1.firstorder.Implies property) S setter() (logic1.support.decorators.classproperty method) setup() (logic1.abc.qe.QuantifierElimination method) show_progress() (in module logic1.theories.sets) simplification simplify() (logic1.atomlib.sympy.Eq method) (logic1.atomlib.sympy.Ne method) (logic1.firstorder.AndOr method) (logic1.firstorder.Equivalent method) (logic1.firstorder.Formula method) (logic1.firstorder.Implies method) (logic1.firstorder.Not method) (logic1.firstorder.QuantifiedFormula method) subs() (logic1.atomlib.sympy.AtomicFormula method) (logic1.firstorder.BooleanFormula method) (logic1.firstorder.Formula method) (logic1.firstorder.QuantifiedFormula method) substitution SymPy T T (in module logic1.firstorder) term term_get_vars() (logic1.atomlib.sympy.TermMixin static method) (logic1.firstorder.AtomicFormula static method) term_to_latex() (logic1.atomlib.sympy.TermMixin static method) (logic1.firstorder.AtomicFormula static method) term_to_sympy() (logic1.atomlib.sympy.TermMixin static method) (logic1.firstorder.AtomicFormula static method) term_type() (logic1.atomlib.sympy.TermMixin static method) (logic1.firstorder.AtomicFormula static method) (logic1.theories.sets.TermMixin static method) TermMixin (class in logic1.atomlib.sympy) (class in logic1.theories.sets) text_symbol (logic1.atomlib.sympy.Eq attribute) (logic1.atomlib.sympy.Ge attribute) (logic1.atomlib.sympy.Gt attribute) (logic1.atomlib.sympy.Le attribute) (logic1.atomlib.sympy.Lt attribute) (logic1.atomlib.sympy.Ne attribute) (logic1.firstorder._F attribute) (logic1.firstorder._T attribute) (logic1.firstorder.All attribute) (logic1.firstorder.And attribute) (logic1.firstorder.Equivalent attribute) (logic1.firstorder.Ex attribute) (logic1.firstorder.Implies attribute) (logic1.firstorder.Not attribute) (logic1.firstorder.Or attribute) text_symbol_spacing (logic1.firstorder.AtomicFormula attribute) (logic1.firstorder.BooleanFormula attribute) (logic1.firstorder.QuantifiedFormula attribute) to_cnf() (logic1.firstorder.AtomicFormula method) (logic1.firstorder.BooleanFormula method) (logic1.firstorder.TruthValue method) to_complement() (logic1.firstorder.AtomicFormula method) to_distinct_vars() (logic1.firstorder.Formula method) to_dnf() (logic1.firstorder.AtomicFormula method) (logic1.firstorder.BooleanFormula method) (logic1.firstorder.TruthValue method) to_latex() (logic1.firstorder.Formula method) to_nnf() (logic1.firstorder.AndOr method) (logic1.firstorder.AtomicFormula method) (logic1.firstorder.Equivalent method) (logic1.firstorder.Formula method) (logic1.firstorder.Implies method) (logic1.firstorder.Not method) (logic1.firstorder.QuantifiedFormula method) (logic1.firstorder.TruthValue method) to_pnf() (logic1.firstorder.Formula method) to_sympy() (logic1.firstorder.AtomicFormula method) (logic1.firstorder.Formula method) (logic1.firstorder.QuantifiedFormula method) (logic1.firstorder.TruthValue method) transform_atoms() (logic1.firstorder.AtomicFormula method) (logic1.firstorder.BooleanFormula method) (logic1.firstorder.Formula method) (logic1.firstorder.QuantifiedFormula method) TruthValue (class in logic1.firstorder) U union() (logic1.support.containers.GetVars method) update() (logic1.support.containers.GetVars method) V var (logic1.firstorder.QuantifiedFormula property) variable variable_type() (logic1.atomlib.sympy.TermMixin static method) (logic1.firstorder.AtomicFormula static method) (logic1.theories.sets.TermMixin static method)