Drake
symbolic_formula_visitor_test.cc File Reference
#include <algorithm>
#include <functional>
#include <iterator>
#include <memory>
#include <set>
#include <gtest/gtest.h>
#include "drake/common/symbolic.h"
#include "drake/common/test_utilities/symbolic_test_util.h"
Include dependency graph for symbolic_formula_visitor_test.cc:

Namespaces

 drake
 
 drake::symbolic
 

Variable Documentation

const Variable b1_ {"b1", Variable::Type::BOOLEAN}
protected
const Variable b2_ {"b2", Variable::Type::BOOLEAN}
protected
const Variable b3_ {"b3", Variable::Type::BOOLEAN}
protected
const NegationNormalFormConverter converter_ {}
protected
Eigen::Matrix<Expression, 2, 2, Eigen::DontAlign> M_
protected
const Variable x_ {"x", Variable::Type::CONTINUOUS}
protected
const Variable y_ {"y", Variable::Type::CONTINUOUS}
protected
const Variable z_ {"z", Variable::Type::CONTINUOUS}
protected