Here is a list of all documented files with brief descriptions:
[detail level 12345]
| ▼ dreal | |
| ▼ api | |
| api.h | |
| ▼ contractor | |
| contractor.h | |
| contractor_cell.h | |
| contractor_fixpoint.h | |
| contractor_forall.h | |
| contractor_ibex_fwdbwd.h | |
| contractor_ibex_fwdbwd_mt.h | |
| contractor_ibex_polytope.h | |
| contractor_ibex_polytope_mt.h | |
| contractor_id.h | |
| contractor_integer.h | |
| contractor_join.h | |
| contractor_seq.h | |
| contractor_status.h | |
| contractor_worklist_fixpoint.h | |
| counterexample_refiner.h | |
| generic_contractor_generator.h | |
| ▼ dr | |
| driver.h | |
| run.h | |
| scanner.h | |
| ▼ examples | |
| control.h | |
| ▼ optimization | |
| nlopt_optimizer.h | |
| ▼ smt2 | |
| command.h | |
| command_cell.h | |
| driver.h | |
| logic.h | |
| run.h | |
| scanner.h | |
| sort.h | |
| term.h | |
| ▼ solver | |
| brancher.h | |
| config.h | |
| context.h | |
| context_impl.h | |
| expression_evaluator.h | |
| filter_assertion.h | |
| forall_formula_evaluator.h | |
| formula_evaluator.h | |
| formula_evaluator_cell.h | |
| icp.h | |
| icp_parallel.h | |
| icp_seq.h | |
| icp_stat.h | |
| relational_formula_evaluator.h | |
| sat_solver.h | |
| theory_solver.h | |
| ▼ symbolic | |
| prefix_printer.h | |
| symbolic.h | This is the header file that we consolidate Drake's symbolic classes and expose them inside of dreal namespace |
| symbolic_test_util.h | This is the header file that we consolidate Drake's symbolic test predicates originally defined in "drake/common/test/symbolic_test_util.h" |
| ▼ util | |
| assert.h | |
| box.h | |
| cds.h | |
| dynamic_bitset.h | |
| exception.h | |
| filesystem.h | |
| ibex_converter.h | |
| if_then_else_eliminator.h | |
| interrupt.h | |
| interval.h | |
| logging.h | |
| math.h | |
| naive_cnfizer.h | |
| nnfizer.h | |
| option_value.h | |
| optional.h | |
| precision_guard.h | |
| predicate_abstractor.h | |
| profiler.h | |
| rounding_mode_guard.h | |
| scoped_unordered_map.h | |
| scoped_unordered_set.h | |
| scoped_vector.h | |
| signal_handler_guard.h | |
| stat.h | |
| string_to_interval.h | |
| timer.h | |
| tseitin_cnfizer.h | |
| dreal.h | |
| dreal_main.h | |
| ▼ third_party | |
| ▼ com_github_robotlocomotion_drake | |
| ▼ dreal | |
| ► symbolic | |
| hash.h | |
| never_destroyed.h | |
| symbolic_environment.h | |
| symbolic_expression.h | |
| symbolic_expression_cell.h | |
| symbolic_expression_visitor.h | |
| symbolic_formula.h | |
| symbolic_formula_cell.h | |
| symbolic_formula_visitor.h | |
| symbolic_variable.h | |
| symbolic_variables.h | |
1.8.13