Drake
symbolic_formula_test.cc File Reference
#include <algorithm>
#include <cmath>
#include <exception>
#include <map>
#include <set>
#include <stdexcept>
#include <unordered_map>
#include <unordered_set>
#include <vector>
#include <gtest/gtest.h>
#include "drake/common/drake_assert.h"
#include "drake/common/drake_copyable.h"
#include "drake/common/drake_throw.h"
#include "drake/common/symbolic.h"
#include "drake/common/test_utilities/is_memcpy_movable.h"
#include "drake/common/test_utilities/symbolic_test_util.h"
Include dependency graph for symbolic_formula_test.cc:

Namespaces

 drake
 
 drake::symbolic
 

Variable Documentation

const Formula b1_ {var_b1_}
protected
const Formula b2_ {var_b2_}
protected
const Expression e1_ {x_ + y_}
protected
const Expression e1_prime_ {x_ + y_}
protected
const Expression e2_ {x_ - y_}
protected
const Expression e3_ {x_ + z_}
protected
const Environment env1_ {{var_x_, 1}, {var_y_, 1}}
protected
const Environment env2_ {{var_x_, 3}, {var_y_, 4}}
protected
const Environment env3_ {{var_x_, -2}, {var_y_, -5}}
protected
const Environment env4_ {{var_x_, -1}, {var_y_, -1}}
protected
const Formula f1_ {x_ + y_ > 0}
protected
const Formula f2_ {x_ * y_ < 5}
protected
const Formula f3_ {x_ / y_ < 5}
protected
const Formula f4_ {x_ - y_ < 5}
protected
const Formula f_and_ {f1_ && f2_}
protected
const Formula f_eq_ {e1_ == 0.0}
protected
const Formula f_forall_ {forall({var_x_, var_y_}, f_or_)}
protected
const Formula f_gt_ {e1_ > 0.0}
protected
const Formula f_gte_ {e1_ >= 0.0}
protected
const Formula f_isnan_ {isnan(Expression::NaN())}
protected
const Formula f_lt_ {e1_ < 0.0}
protected
const Formula f_lte_ {e1_ <= 0.0}
protected
const Formula f_neq_ {e1_ != 0.0}
protected
const Formula f_or_ {f1_ || f2_}
protected
Formula f_psd_dynamic_2x2_
protected
Formula f_psd_static_2x2_
protected
Formula f_psd_static_3x3_
protected
const Formula ff_ {Formula::False()}
protected
MatrixX<Expression> m_dynamic_2x2_
protected
Eigen::Matrix<Expression, 2, 2> m_static_2x2_
protected
Eigen::Matrix<Expression, 3, 3> m_static_3x3_
protected
const Formula not_f_or_ {!f_or_}
protected
const Formula tt_ {Formula::True()}
protected
const Variable var_b1_ {"x", Variable::Type::BOOLEAN}
protected
const Variable var_b2_ {"y", Variable::Type::BOOLEAN}
protected
const Variable var_x_ {"x", Variable::Type::CONTINUOUS}
protected
const Variable var_y_ {"y", Variable::Type::CONTINUOUS}
protected
const Variable var_z_ {"z", Variable::Type::CONTINUOUS}
protected
const Expression x_ {var_x_}
protected
const Expression y_ {var_y_}
protected
const Expression z_ {var_z_}
protected