private string generateFunctionDeclaration()
{
/*first real is always for the time variable, and rest are the current parameters*/
string inputs = "Real ";
foreach (string param in inputParameters)
{
inputs += "Real ";
}
return(SMTConstructsInstantiator.instantiateFunctionDeclaration(name, inputs.Trim(), "Real"));
}
private string generateConstantDeclaration()
{
return(SMTConstructsInstantiator.instantiateFunctionDeclaration(name, "Real", "Real"));
}
