Drake
symbolic_substitution_test.cc File Reference
#include <functional>
#include <stdexcept>
#include <type_traits>
#include <utility>
#include <vector>
#include <gtest/gtest.h>
#include "drake/common/symbolic.h"
#include "drake/common/test_utilities/symbolic_test_util.h"
Include dependency graph for symbolic_substitution_test.cc:

Namespaces

 drake
 
 drake::symbolic
 

Variable Documentation

const Expression e_ {x_ + y_ + z_}
protected
const Formula f10_ {e_ >= 0.0}
protected
const Formula f11_ {f1_ && f2_}
protected
const Formula f12_ {f1_ || f2_}
protected
const Formula f13_ {!f11_}
protected
const Formula f14_ {!f12_}
protected
const Formula f1_ {x_ + y_ > z_}
protected
const Formula f2_ {x_ * y_ < 5 * z_}
protected
const Formula f3_ {x_ / y_ < 5 * z_}
protected
const Formula f4_ {x_ - y_ < 5 * z_}
protected
const Formula f5_ {e_ == 0.0}
protected
const Formula f6_ {e_ != 0.0}
protected
const Formula f7_ {e_ < 0.0}
protected
const Formula f8_ {e_ <= 0.0}
protected
const Formula f9_ {e_ > 0.0}
protected
const vector<Formula> forall_formulas_
protected
Initial value:
{
const Formula forall_x_3_
Definition: symbolic_substitution_test.cc:445
const Formula forall_x_6_
Definition: symbolic_substitution_test.cc:448
const Formula forall_x_12_
Definition: symbolic_substitution_test.cc:454
const Formula forall_x_10_
Definition: symbolic_substitution_test.cc:452
const Formula forall_x_7_
Definition: symbolic_substitution_test.cc:449
const Formula forall_x_14_
Definition: symbolic_substitution_test.cc:456
const Formula forall_x_5_
Definition: symbolic_substitution_test.cc:447
const Formula forall_x_2_
Definition: symbolic_substitution_test.cc:444
const Formula forall_x_8_
Definition: symbolic_substitution_test.cc:450
const Formula forall_x_13_
Definition: symbolic_substitution_test.cc:455
const Formula forall_x_4_
Definition: symbolic_substitution_test.cc:446
const Formula forall_x_9_
Definition: symbolic_substitution_test.cc:451
const Formula forall_x_1_
Definition: symbolic_substitution_test.cc:443
const Formula forall_x_11_
Definition: symbolic_substitution_test.cc:453
const Formula forall_x_10_ {forall({var_x_}, f10_)}
protected
const Formula forall_x_11_ {forall({var_x_}, f11_)}
protected
const Formula forall_x_12_ {forall({var_x_}, f12_)}
protected
const Formula forall_x_13_ {forall({var_x_}, f13_)}
protected
const Formula forall_x_14_ {forall({var_x_}, f14_)}
protected
const Formula forall_x_1_ {forall({var_x_}, f1_)}
protected
const Formula forall_x_2_ {forall({var_x_}, f2_)}
protected
const Formula forall_x_3_ {forall({var_x_}, f3_)}
protected
const Formula forall_x_4_ {forall({var_x_}, f4_)}
protected
const Formula forall_x_5_ {forall({var_x_}, f5_)}
protected
const Formula forall_x_6_ {forall({var_x_}, f6_)}
protected
const Formula forall_x_7_ {forall({var_x_}, f7_)}
protected
const Formula forall_x_8_ {forall({var_x_}, f8_)}
protected
const Formula forall_x_9_ {forall({var_x_}, f9_)}
protected
const vector<Formula> formulas_
protected
Initial value:
{f1_, f2_, f3_, f4_, f5_, f6_, f7_,
const Formula f6_
Definition: symbolic_substitution_test.cc:431
const Formula f10_
Definition: symbolic_substitution_test.cc:435
const Formula f14_
Definition: symbolic_substitution_test.cc:439
const Formula f13_
Definition: symbolic_substitution_test.cc:438
const Formula f5_
Definition: symbolic_substitution_test.cc:430
const Formula f12_
Definition: symbolic_substitution_test.cc:437
const Formula f2_
Definition: symbolic_substitution_test.cc:427
const Formula f8_
Definition: symbolic_substitution_test.cc:433
const Formula f7_
Definition: symbolic_substitution_test.cc:432
const Formula f9_
Definition: symbolic_substitution_test.cc:434
const Formula f11_
Definition: symbolic_substitution_test.cc:436
const Formula f3_
Definition: symbolic_substitution_test.cc:428
const Formula f1_
Definition: symbolic_substitution_test.cc:426
const Formula f4_
Definition: symbolic_substitution_test.cc:429
const Variable var_x_ {"x"}
protected
const Variable var_y_ {"y"}
protected
const Variable var_z_ {"z"}
protected
const Expression x_ {var_x_}
protected
const Expression y_ {var_y_}
protected
const Expression z_ {var_z_}
protected