Home
last modified time | relevance | path

Searched refs:check_applicability (Results 1 – 1 of 1) sorted by relevance

/dports/net/krill/krill-0.9.4/cargo-crates/polar-core-0.12.4/src/
H A Dvm.rs2530 let mut check_applicability = vec![]; in filter_rules() localVariable
2532 check_applicability.push(Goal::Unify { in filter_rules()
2537 check_applicability.push(Goal::Isa { in filter_rules()
2543 self.choose_conditional(check_applicability, vec![applicable], vec![inapplicable])?; in filter_rules()