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

Method isValid

smt/expr.h:114–114  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

112 bool eq(const expr &rhs) const;
113
114 bool isValid() const { return ptr != 0; }
115
116 bool isConst() const;
117 bool isVar() const;

Callers 14

print_single_varvalFunction · 0.45
instantiate_undefFunction · 0.45
exprMethod · 0.45
operator=Method · 0.45
binop_commutativeMethod · 0.45
operator&Method · 0.45
operator|Method · 0.45
extractMethod · 0.45
mkForAllMethod · 0.45
expr.cppFile · 0.45
operator<=>Method · 0.45
addMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected