Searched defs:constrain (Results 1 – 12 of 12) sorted by relevance
4 constrain section in Constraint Statements
110 fn constrain(&mut self, node: Self::Node) -> ConstrainResult; in constrain() method322 fn constrain(&mut self, node: Node) -> ConstrainResult { in constrain() method
89 fn constrain(&mut self, id: ItemId) -> ConstrainResult { in constrain() method
106 fn constrain(&mut self, id: ItemId) -> ConstrainResult { in constrain() method
100 fn constrain(&mut self, id: ItemId) -> ConstrainResult { in constrain() method
204 fn constrain(&mut self, id: TypeId) -> ConstrainResult { in constrain() method
516 fn constrain(&mut self, id: ItemId) -> ConstrainResult { in constrain() method
153 fn constrain(&mut self, id: ItemId) -> ConstrainResult { in constrain() method
663 fn constrain(&mut self, id: ItemId) -> ConstrainResult { in constrain() method
2646 void cil_constrain_init(struct cil_constrain **constrain) in cil_constrain_init()
2231 struct cil_constrain *constrain = node->data; in __cil_post_db_classperms_helper() local
12 pub fn constrain<T: ?Sized>(t: &T) -> &T { in constrain() function