: Uses of Class tarau.jinni.Trail

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

Kernel Prolog with Fluent based Builtins

PREV NEXT

FRAMES NO FRAMES

Uses of Class
tarau.jinni.Trail

Packages that use Trail
tarau.jinni

Uses of Trail in tarau.jinni

Fields in tarau.jinni declared as Trail

private Trail Prog.trail

private Trail LazyList.trail

Methods in tarau.jinni that return Trail

Trail Prog.getTrail()

Methods in tarau.jinni with parameters of type Trail

(package private) abstract boolean Term.bind_to(Term that, Trail trail)


(package private) abstract boolean Term.unify_to(Term that, Trail trail)
          Unify dereferenced

protected boolean Term.unify(Term that, Trail trail)
          Dereference and unify_to

(package private) boolean Nonvar.bind_to(Term that, Trail trail)


(package private) boolean Nonvar.unify_to(Term that, Trail trail)


(package private) boolean SystemObject.bind_to(Term that, Trail trail)


(package private) boolean Const.bind_to(Term that, Trail trail)


(package private) boolean Fun.bind_to(Term that, Trail trail)


(package private) boolean Fun.unify_to(Term that, Trail trail)


(package private) boolean Real.bind_to(Term that, Trail trail)


(package private) Clause Clause.unfold(Clause that, Trail trail)
          Algebraic composition operation of 2 Clauses, doing the basic resolution step Jinni is based on.

(package private) Clause Clause.unfold_with_goal(Clause goal, Trail trail)


(package private) Clause Clause.unfoldedCopy(Clause that, Trail trail)


(package private) boolean Int.bind_to(Term that, Trail trail)


(package private) boolean LazyList.bind_to(Term that, Trail trail)
          this permissive definition for bind_to allows a Lazy List to Unify with any 2 arg constructor chain

(package private) boolean Var.bind_to(Term x, Trail trail)


(package private) boolean Var.unify_to(Term that, Trail trail)

Constructors in tarau.jinni with parameters of type Trail

LazyList.LazyList(Term head, Source source, Trail trail)