Ejemplos de Axiom.Runtime ListTerm.Reference en C# (CSharp)

Reference() public method

public Reference ( ) : AbstractTerm
return	AbstractTerm

Ejemplo n.º 1

Archivo: ListTerm.cs Proyecto: ahodroj/prologdotnet

        public void Bind()
        {
            ListTerm term = new ListTerm();
            ListTerm term2 = new ListTerm();

            term.Bind(term2);

            Assert.AreSame(term, term.Reference());
        }

Ejemplo n.º 2

Archivo: AbstractTerm.cs Proyecto: ahodroj/prologdotnet

        public void Unify_ref_lis()
        {
            AbstractTerm term = new AbstractTerm();
            ListTerm con = new ListTerm();

            Assert.IsTrue(term.Unify(con));

            Assert.AreSame(term.Reference(), con.Reference());
            Assert.IsTrue(term.IsList);
            Assert.IsFalse(term.IsReference);
        }

Ejemplo n.º 3

Archivo: ListTerm.cs Proyecto: ahodroj/prologdotnet

        public void Reference()
        {
            ListTerm term1 = new ListTerm();
            ListTerm term2 = new ListTerm();

            term1.Bind(term2);

            Assert.AreSame(term1, term1.Reference());
        }