Abstract Base Classes

• Simplification
  • Generic Types
    • α
    • τ
    • χ
    • σ
    • ρ
  • Internal Representations
    • InternalRepresentation
      • InternalRepresentation.add()
      • InternalRepresentation.extract()
      • InternalRepresentation.next_()
  • Simplification and Validity
    • Simplify
      • Simplify.create_initial_representation()
      • Simplify.is_valid()
      • Simplify.simpl_at()
      • Simplify.__init__()
      • Simplify.simplify()
• Boolean Normal Forms
  • Generic Types
    • α
    • τ
    • χ
    • σ
  • Boolean Normal Forms
    • BooleanNormalForm
      • BooleanNormalForm.cnf()
      • BooleanNormalForm.dnf()
      • BooleanNormalForm.simplify()
• Quantifier Elimination
  • Generic Types
    • α
    • τ
    • χ
    • σ
    • φ
    • ν
    • ι
    • λ
    • ω
  • Assumptions
    • Assumptions
      • Assumptions.Inconsistent
      • Assumptions.atoms
      • Assumptions.append()
      • Assumptions.extend()
      • Assumptions.simplify()
  • Nodes
    • Node
      • Node.variables
      • Node.formula
      • Node.copy()
      • Node.process()
  • Options
    • Options
      • Options.log_level
      • Options.log_rate
      • Options.workers
  • Quantifier Elimination
    • QuantifierElimination
      • QuantifierElimination.assumptions
      • QuantifierElimination.blocks
      • QuantifierElimination.matrix
      • QuantifierElimination.negated
      • QuantifierElimination.root_nodes
      • QuantifierElimination.working_nodes
      • QuantifierElimination.success_nodes
      • QuantifierElimination.failure_nodes
      • QuantifierElimination.result
      • QuantifierElimination.options
      • QuantifierElimination.time_syncmanager_enter
      • QuantifierElimination.time_start_first_worker
      • QuantifierElimination.time_start_all_workers
      • QuantifierElimination.time_multiprocessing
      • QuantifierElimination.time_import_failure_nodes
      • QuantifierElimination.time_import_success_nodes
      • QuantifierElimination.time_import_working_nodes
      • QuantifierElimination.time_syncmanager_exit
      • QuantifierElimination.time_final_simplification
      • QuantifierElimination.time_total
      • QuantifierElimination.__call__()
      • QuantifierElimination.create_options()
      • QuantifierElimination.create_root_nodes()
      • QuantifierElimination.create_assumptions()
      • QuantifierElimination.create_true_node()
      • QuantifierElimination.final_simplify()
      • QuantifierElimination.init_env()
      • QuantifierElimination.init_env_arg()