Searched defs:CfgEvaluator (Results 1 – 4 of 4) sorted by relevance
23 cfg_evaluator: &dyn CfgEvaluator, in strip()43 cfg_evaluator: &dyn CfgEvaluator, in eval()59 fn try_eval(cfg_evaluator: &dyn CfgEvaluator, expr: &CfgExpr) -> Result<bool, Vec<Error>> { in try_eval()
65 pub(super) trait CfgEvaluator { interface
68 pub trait CfgEvaluator { trait