/// <summary>
/// Runs gringo on the given <paramref name="original"/> stream of data and the <paramref name="aspContent"/> to translate the theory.
/// </summary>
/// <returns>The resulting program after gringo is ran on it.</returns>
/// <param name="original">The original program to translate.</param>
/// <param name="aspContent">The asp content that describes how to translate the input to the output.</param>
public string TranslateClingo(string original, string aspContent)
{
using (ClingoSession cs = new ClingoSession(this, aspContent, original)) {
return(cs.Output);
}
}
/// <summary>
/// Runs gringo on the given <paramref name="original"/> stream of data and the <paramref name="aspContent"/> to translate the theory.
/// </summary>
/// <returns>The resulting program after gringo is ran on it.</returns>
/// <param name="original">The original program to translate.</param>
/// <param name="aspContent">The asp content that describes how to translate the input to the output.</param>
public string TranslateClingo(string original, string aspContent)
{
using (ClingoSession cs = new ClingoSession (this, aspContent, original)) {
return cs.Output;
}
}
