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

Method isBool

smt/expr.cpp:400–403  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

398}
399
400bool expr::isBool() const {
401 C();
402 return Z3_get_sort_kind(ctx(), sort()) == Z3_BOOL_SORT;
403}
404
405bool expr::isFloat() const {
406 C();

Callers 14

errorFunction · 0.80
preprocessFunction · 0.80
state.cppFile · 0.80
not_poison_except_paddingFunction · 0.80
zextMethod · 0.80
truncMethod · 0.80
zextOrTruncMethod · 0.80
concatMethod · 0.80
setNotPoisonMethod · 0.80
substMethod · 0.80
fromIntMethod · 0.80
ByteMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected