83 class Permutation;
283 class Permutation {  class
364     Permutation(Function* function, Specification* specification, int i1, int i2, int i3, int i4);
1071                     Permutation p(function, this, i1, i2, i3, i4);  in writeFiles()
1105 Permutation::Permutation(Function* func, Specification* spec, int i1, int i2, int i3, int i4)  in Permutation()  function in __anon8b74ac7a0111::Permutation
1168 void Permutation::writeFiles(ofstream& headerFile, ofstream& rsFile, ofstream& javaFile,  in writeFiles()
1177 void Permutation::writeHeaderSection(ofstream& file) const {  in writeHeaderSection()
1289 void Permutation::writeRsSection(ofstream& rs) const {  in writeRsSection()
1381 bool Permutation::passByAddressToSet(const string& name) const {  in passByAddressToSet()
1388 void Permutation::writeJavaSection(ofstream& file) const {  in writeJavaSection()
1410 void Permutation::writeJavaArgumentClass(ofstream& file, bool scalar) const {  in writeJavaArgumentClass()
1437 void Permutation::writeJavaCheckMethod(ofstream& file, bool generateCallToVerifier) const {  in writeJavaCheckMethod()
1460 void Permutation::writeJavaInputAllocationDefinition(ofstream& file, const string& indent,  in writeJavaInputAllocationDefinition()
1495 void Permutation::writeJavaRandomCompatibleFloatAllocation(ofstream& file, const string& dataType,  in writeJavaRandomCompatibleFloatAllocation()
1528 void Permutation::writeJavaRandomCompatibleIntegerAllocation(ofstream& file, const string& dataType,  in writeJavaRandomCompatibleIntegerAllocation()
1548 void Permutation::writeJavaOutputAllocationDefinition(ofstream& file, const string& indent,  in writeJavaOutputAllocationDefinition()
1559 void Permutation::convertToRsType(const string& name, string* dataType, char* vectorSize) const {  in convertToRsType()
1578 void Permutation::writeJavaVerifyScalarMethod(ofstream& file, bool verifierValidates) const {  in writeJavaVerifyScalarMethod()
1673 void Permutation::writeJavaVerifyFunctionHeader(ofstream& file) const {  in writeJavaVerifyFunctionHeader()
1682 void Permutation::writeJavaTestAndSetValid(ofstream& file, int indent, const ParameterDefinition& p,  in writeJavaTestAndSetValid()
1690 void Permutation::writeJavaTestOneValue(ofstream& file, int indent, const ParameterDefinition& p,  in writeJavaTestOneValue()
1709 void Permutation::writeJavaAppendOutputToMessage(ofstream& file, int indent,  in writeJavaAppendOutputToMessage()
1742 void Permutation::writeJavaAppendInputToMessage(ofstream& file, int indent,  in writeJavaAppendInputToMessage()
1750 void Permutation::writeJavaAppendNewLineToMessage(ofstream& file, int indent) const {  in writeJavaAppendNewLineToMessage()
1754 void Permutation::writeJavaAppendVariableToMessage(ofstream& file, int indent,  in writeJavaAppendVariableToMessage()
1772 void Permutation::writeJavaAppendFloatVariableToMessage(ofstream& file, int indent,  in writeJavaAppendFloatVariableToMessage()
1784 void Permutation::writeJavaVectorComparison(ofstream& file, int indent,  in writeJavaVectorComparison()
1796 void Permutation::writeJavaAppendVectorInputToMessage(ofstream& file, int indent,  in writeJavaAppendVectorInputToMessage()
1808 void Permutation::writeJavaAppendVectorOutputToMessage(ofstream& file, int indent,  in writeJavaAppendVectorOutputToMessage()
1821 void Permutation::writeJavaVerifyVectorMethod(ofstream& file) const {  in writeJavaVerifyVectorMethod()
1891 void Permutation::writeJavaCallToRs(ofstream& file, bool relaxed, bool generateCallToVerifier) cons…  in writeJavaCallToRs()