Searched refs:outputForChecker (Results 1 – 1 of 1) sorted by relevance
591 bool outputForChecker) { in create_dzn_output_item() argument604 DZNOVisitor(EnvI& e, bool outputObjective, bool includeOutputItem, bool outputForChecker, in create_dzn_output_item() argument609 _outputForChecker(outputForChecker), in create_dzn_output_item()742 } dznov(e, outputObjective, includeOutputItem, outputForChecker, outputVars); in create_dzn_output_item()746 if (hasChecker && !outputForChecker) { in create_dzn_output_item()