public static void Rule(BinaryElementExpression700 lhs, BinaryElementExpression700 binaryElementExpression700, BinaryOp700 binaryOp700, BinaryElementExpression500 binaryElementExpression500)
{
lhs.CodeTerm =
new CodeCompoundTerm(
binaryOp700.CodeFunctor,
new CodeTerm[] { binaryElementExpression700.CodeTerm, binaryElementExpression500.CodeTerm });
}
public static void Rule(BinaryElementExpression700 lhs, BinaryElementExpression700 binaryElementExpression700, BinaryOp700 binaryOp700, BinaryElementExpression500 binaryElementExpression500)
{
lhs.CodeTerm =
new CodeCompoundTerm(
binaryOp700.CodeFunctor,
new[] { binaryElementExpression700.CodeTerm, binaryElementExpression500.CodeTerm });
}
public static void Rule(BinaryOp700 lhs, OpEqual op)
{
lhs.CodeFunctor = new CodeFunctor(op.Text, 2, true);
}
public static void Rule(BinaryOp700 lhs, OpTermGreater op)
{
lhs.CodeFunctor = new CodeFunctor(op.Text, 2, true);
}
public static void Rule(BinaryOp700 lhs, OpCannotUnify op)
{
lhs.CodeFunctor = new CodeFunctor(op.Text, 2, true);
}
public static void Rule(BinaryOp700 lhs, OpEqual op)
{
lhs.CodeFunctor = new CodeFunctor(op.Text, 2, true);
}
public static void Rule(BinaryOp700 lhs, OpTermGreater op)
{
lhs.CodeFunctor = new CodeFunctor(op.Text, 2, true);
}
public static void Rule(BinaryOp700 lhs, OpCannotUnify op)
{
lhs.CodeFunctor = new CodeFunctor(op.Text, 2, true);
}