public static BooleanExpression parseCondition(String input)
{
var ss = ANTLRInterface.parseCondition(input);
return(ss);
}
public static LinearIntegerExpression parseLinearExpression(String input)
{
var ss = ANTLRInterface.parseLinearExpression(input);
return(ss);
}
public static SymbolicString parseSymbolicString(String input, List <String> alphabet)
{
var ss = ANTLRInterface.parseSymbolicString(input, alphabet);
return(ss);
}