private static IDeclaration generatePropositionDeclaration(string proposition)
{
string name = PropositionParser.extractName(proposition);
ICollection <string> functionParameters = PropositionParser.extractParameters(proposition);
string returnType = "Real";
string value = "";
return(new Declaration(returnType, name, value, functionParameters));
}
public static ICollection <IDeclaration> generateDeclarations(string proposition)
{
ICollection <IDeclaration> declarations = new List <IDeclaration>();
if (!PropositionParser.isNonDeclarableType(proposition))
{
declarations = generateAllDeclarations(proposition);
}
return(declarations);
}
