Axiom.Runtime.AbstractPredicate.Execute C# (CSharp) Method

        public abstract void Execute(AbstractMachineState state);

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

            _p = new AtomPredicate();

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

            // integer
            X0.Assign(new ConstantTerm("10"));

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

            Verify("atom", 1);
            _p.Execute(state);

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