Lines Matching defs:relaxed
154 void writeJavaCallToRs(bool relaxed, bool generateCallToVerifier) const;
286 // Generate code to check the full and relaxed scripts.
433 mJava->indent() << "Target target = new Target(relaxed);\n";
445 mJava->indent() << "Target target = new Target(relaxed);\n";
493 << "(relaxed ? \"_relaxed\" : \"\") + \":\\n\" + message.toString(), errorFound);\n";
542 mJava->indent() << "Target target = new Target(relaxed);\n";
579 << "(relaxed ? \"_relaxed\" : \"\") + \":\\n\" + message.toString(), errorFound);\n";
590 *mJava << "boolean relaxed)";
711 void PermutationWriter::writeJavaCallToRs(bool relaxed, bool generateCallToVerifier) const {
713 if (relaxed) {
752 if (relaxed) {