Axiom.Runtime.UnitTests._Builtins.lessthanequals_2 C# (CSharp) Метод

        public void lessthanequals_2()
        {
            AbstractMachineState state = SetupMachine();
            AMProgram program = (AMProgram)state.Program;

            _p = new LessThanEqualPredicate();

            Verify("=<", 2);

            AbstractTerm X0 = (AbstractTerm)state["X0"];
            AbstractTerm X1 = (AbstractTerm)state["X1"];

            Choicepoint b = new Choicepoint();

            ProgramClause nextClause = new ProgramClause();

            state.B = new Choicepoint(0, null, null, b, nextClause, 2, null);

            X0.Assign(new ConstantTerm("5"));
            X1.Assign(new ConstantTerm("1"));

            // X0 == X1
            _p.Execute(state);

            Assert.AreSame(nextClause, program.P);
        }