Searched defs:PredicateType (Results 1 – 9 of 9) sorted by relevance
95 enum PredicateType { PT_Branch, PT_Assume, PT_Switch }; enum
1336 impl ToTokens for PredicateType { implementation
1635 impl Eq for PredicateType {} implementation1638 impl PartialEq for PredicateType { implementation
1711 impl Clone for PredicateType { implementation
2175 impl Hash for PredicateType { implementation
592 fn fold_predicate_type(&mut self, i: PredicateType) -> PredicateType { in fold_predicate_type()
592 fn visit_predicate_type_mut(&mut self, i: &mut PredicateType) { in visit_predicate_type_mut()
2331 impl Debug for PredicateType { implementation
591 fn visit_predicate_type(&mut self, i: &'ast PredicateType) { in visit_predicate_type()