Drake
symbolic_formula_test.cc File Reference
#include <algorithm>
#include <cmath>
#include <exception>
#include <limits>
#include <map>
#include <random>
#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

◆ b1_

const Formula b1_ {var_b1_}
protected

◆ b2_

const Formula b2_ {var_b2_}
protected

◆ e1_

const Expression e1_ {x_ + y_}
protected

◆ e1_prime_

const Expression e1_prime_ {x_ + y_}
protected

◆ e2_

const Expression e2_ {x_ - y_}
protected

◆ e3_

const Expression e3_ {x_ + z_}
protected

◆ env1_

const Environment env1_ {{var_x_, 1}, {var_y_, 1}}
protected

◆ env2_

const Environment env2_ {{var_x_, 3}, {var_y_, 4}}
protected

◆ env3_

const Environment env3_ {{var_x_, -2}, {var_y_, -5}}
protected

◆ env4_

const Environment env4_ {{var_x_, -1}, {var_y_, -1}}
protected

◆ f1_

const Formula f1_ {x_ + y_ > 0}
protected

◆ f2_

const Formula f2_ {x_ * y_ < 5}
protected

◆ f3_

const Formula f3_ {x_ / y_ < 5}
protected

◆ f4_

const Formula f4_ {x_ - y_ < 5}
protected

◆ f_and_

const Formula f_and_ {f1_ && f2_}
protected

◆ f_eq_

const Formula f_eq_ {e1_ == 0.0}
protected

◆ f_forall_

const Formula f_forall_ {forall({var_x_, var_y_}, f_or_)}
protected

◆ f_gt_

const Formula f_gt_ {e1_ > 0.0}
protected

◆ f_gte_

const Formula f_gte_ {e1_ >= 0.0}
protected

◆ f_isnan_

const Formula f_isnan_ {isnan(Expression::NaN())}
protected

◆ f_lt_

const Formula f_lt_ {e1_ < 0.0}
protected

◆ f_lte_

const Formula f_lte_ {e1_ <= 0.0}
protected

◆ f_neq_

const Formula f_neq_ {e1_ != 0.0}
protected

◆ f_or_

const Formula f_or_ {f1_ || f2_}
protected

◆ f_psd_dynamic_2x2_

Formula f_psd_dynamic_2x2_
protected

◆ f_psd_static_2x2_

Formula f_psd_static_2x2_
protected

◆ f_psd_static_3x3_

Formula f_psd_static_3x3_
protected

◆ ff_

const Formula ff_ {Formula::False()}
protected

◆ m_dynamic_2x2_

MatrixX<Expression> m_dynamic_2x2_
protected

◆ m_static_2x2_

Eigen::Matrix<Expression, 2, 2> m_static_2x2_
protected

◆ m_static_3x3_

Eigen::Matrix<Expression, 3, 3> m_static_3x3_
protected

◆ not_f_or_

const Formula not_f_or_ {!f_or_}
protected

◆ tt_

const Formula tt_ {Formula::True()}
protected

◆ var_b1_

const Variable var_b1_ {"x", Variable::Type::BOOLEAN}
protected

◆ var_b2_

const Variable var_b2_ {"y", Variable::Type::BOOLEAN}
protected

◆ var_x_

const Variable var_x_ {"x", Variable::Type::CONTINUOUS}
protected

◆ var_y_

const Variable var_y_ {"y", Variable::Type::CONTINUOUS}
protected

◆ var_z_

const Variable var_z_ {"z", Variable::Type::CONTINUOUS}
protected

◆ x_

const Expression x_ {var_x_}
protected

◆ y_

const Expression y_ {var_y_}
protected

◆ z_

const Expression z_ {var_z_}
protected