public Expression AddVariableDeclaration(string varName, Expression value)
{
return(builder.AddVariableDeclaration(varName, value));
}
public string AddVariableDeclaration(string varName, string value)
{
validDefinedStepBuilder.AddVariableDeclaration(varName, value);
validUndefinedStepBuilder.AddVariableDeclaration(varName, value);
return(getNextStateBuilder.AddVariableDeclaration(varName, value));
}
public string AddVariableDeclaration(string varName, string value)
{
return(builder.AddVariableDeclaration(varName, value));
}
public Expression AddVariableDeclaration(string varName, Expression value)
{
validStepBuilder.AddVariableDeclaration(varName, value);
crashAvoidanceBuilder.AddVariableDeclaration(varName, value);
return(getNextStateBuilder.AddVariableDeclaration(varName, value));
}