Searched refs:variable_state (Results 1 – 2 of 2) sorted by relevance
| /dports/net/krill/krill-0.9.4/cargo-crates/polar-core-0.12.4/src/ |
| H A D | bindings.rs | 261 Value::Variable(v) => match self.variable_state(v) { in deref()
265 Value::RestVariable(v) => match self.variable_state(v) { in deref()
319 pub fn variable_state(&self, variable: &Symbol) -> VariableState { in variable_state() method
594 fn variable_state() { in variable_state() function
851 assert_eq!(bm.variable_state(&x), VariableState::Bound(zero)); in bind()
852 assert_eq!(bm.variable_state(&y), VariableState::Unbound); in bind()
872 b1.variable_state(&sym!("a")), in test_backtrack_followers()
879 b2.variable_state(&sym!("a")), in test_backtrack_followers()
|
| H A D | vm.rs | 351 if matches!(self.vm.variable_state(v), VariableState::Partial) { in query_contains_partial()
542 self.variable_state(self.get_call_sym(call_id)), in push_goal()
720 pub fn variable_state(&self, variable: &Symbol) -> VariableState { in variable_state() method
721 self.binding_manager.variable_state(variable) in variable_state()
1006 match (self.variable_state(l), self.variable_state(r)) { in isa()
1745 if let VariableState::Bound(x) = self.variable_state(r) { in query_op_helper()
1760 if let VariableState::Bound(x) = self.variable_state(l) { in query_op_helper()
1979 match self.binding_manager.variable_state(v) { in check_partial_args()
2241 match (self.variable_state(l), self.variable_state(r)) { in unify()
2258 match self.variable_state(var) { in unify()
[all …]
|