Searched refs:MR_RuleBlkWithHaltStack (Results 1 – 4 of 4) sorted by relevance
468 PointerStack MR_RuleBlkWithHaltStack={0,0,NULL}; /* MR10 */ variable
524 /* MR10 */ MR_pointerStackPush(&MR_RuleBlkWithHaltStack,MR_RuleBlkWithHalt);536 /* MR10 */ MR_RuleBlkWithHalt=(Junction *) MR_pointerStackPop(&MR_RuleBlkWithHaltStack);
938 require(MR_PredRuleRefStack.count == MR_RuleBlkWithHaltStack.count,955 MR_RuleBlkWithHalt=(Junction *)MR_RuleBlkWithHaltStack.data[i];1004 require(MR_PredRuleRefStack.count == MR_RuleBlkWithHaltStack.count,1023 MR_RuleBlkWithHalt=(Junction *)MR_RuleBlkWithHaltStack.data[i];
259 extern PointerStack MR_RuleBlkWithHaltStack; /* MR10 */