public string GetStringFromUnary(TermUnary.UnaryOpCode uop)
{
switch (uop)
{
case TermUnary.UnaryOpCode.Not:
return("\\<not>");
default:
throw new NotImplementedException();
}
}
public Term HandleUnaryOp(TermUnary.UnaryOpCode uop, List <Term> arg)
{
Contract.Assert(arg.Count == 1);
return(new TermUnary(arg[0], uop));
}
