Unifiable() private méthode

private Unifiable ( object v1, object v2 ) : bool
v1 object
v2 object
Résultat bool
Term Class Documentation
Exemple #1
0
        public void RetractAll(Structure head)
        {
            var entries = GetEntriesListForUpdate();

            for (int i = entries.Count - 1; i >= 0; i--)
            {
                if (Term.Unifiable(head, entries[i].Head))
                {
                    entries.RemoveAt(i);
                }
            }
        }