Searched defs:usePlusBlockBypass (Results 1 – 1 of 1) sorted by relevance
4324 ComputeErrorSet( Junction *j, int k, int usePlusBlockBypass) in ComputeErrorSet()4376 makeErrorClause( Junction *q, set f, int max_k, int usePlusBlockBypass ) in makeErrorClause()