MCPcopy Create free account
hub / github.com/AliveToolkit/alive2 / isZ3Ast

Method isZ3Ast

smt/expr.cpp:92–95  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

90}
91
92bool expr::isZ3Ast() const {
93 return true;
94 //return (ptr & 1) == 0;
95}
96
97Z3_ast expr::ast() const {
98 assert(isValid());

Callers 2

exprMethod · 0.80
operator=Method · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected