expr_equivalence.cpp 文件参考

#include "expr.hpp"
#include "internal/equivalence_engine.hpp"

expr_equivalence.cpp 的引用(Include)关系图:

浏览该文件的源代码.

命名空间
namespace	LMCAS

函数
Result< bool >	LMCAS::equivalent (const SymbolicExpr &lhs, const SymbolicExpr &rhs, ComputationContext &context, const EqvOptions &options)