Lines Matching full:guarded
185 // Visit each variant (guarded by a different predicate).921 // A Predicate transition is a list of RW sequences guarded by a PredTerm.1237 // Read/Writes guarded by the variant. This is exponential in the number of
