Abstract Base Classes#
- Simplification
- Boolean Normal Forms
- Quantifier Elimination
- Generic Types
- Assumptions
- Nodes
- Options
- 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.workers
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()