This is an old revision of the document!

[Contents]
[Top] [Index] [ ? ]

The cram-language Reference Manual

This is the cram-language Reference Manual, generated automatically by Declt version 2.0 patchlevel 1 "Benjamin Sisko" on Mon Feb 01 17:05:58 2016 GMT+1.

1. Systems   The systems documentation
2. Modules   The modules documentation
3. Files   The files documentation
4. Packages   The packages documentation
5. Definitions   The symbols documentation
A. Indexes   Concepts, functions, variables and data types
[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

1. Systems

The main system appears first, followed by any subsystem dependency.

1.1 cram-language  
[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

1.1 cram-language

Maintainer

Lorenz Moesenlechner <moesenle@cs.tum.edu>

Author

Lorenz Moesenlechner <moesenle@cs.tum.edu>

License

BSD

Description

Coginitive plan language

Long Description

cram-language is a new plan language.

Dependencies
  • trivial-garbage
  • alexandria
  • cram-utilities
  • sb-cltl2
Definition file

cram-language.asd (Lisp file)

Component

src (module)

[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

2. Modules

Modules are listed depth-first from the system components tree.

2.1 src/  
2.2 src/tasks/  
2.3 src/fluents/  
2.4 src/walker/  
[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

2.1 src/

Parent

cram-language (system)

Location

src/

Components
[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

2.2 src/tasks/

Dependencies
Parent

src (module)

Location

src/tasks/

Components
[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

2.3 src/fluents/

Dependencies
Parent

src (module)

Location

src/fluents/

Components
[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

2.4 src/walker/

Dependency

packages (Lisp file)

Parent

src (module)

Location

src/walker/

Components
[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3. Files

Files are sorted by type and then listed depth-first from the systems components trees.

3.1 Lisp  
[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.1 Lisp

3.1.1 cram-language.asd  
3.1.2 src/packages.lisp  
3.1.3 src/utils.lisp  
3.1.4 src/task-interface.lisp  
3.1.5 src/fluent-interface.lisp  
3.1.6 src/logging.lisp  
3.1.7 src/with-policy.lisp  
3.1.8 src/default-policies.lisp  
3.1.9 src/tasks/failures.lisp  
3.1.10 src/tasks/task.lisp  
3.1.11 src/tasks/task-tree.lisp  
3.1.12 src/fluents/fluent.lisp  
3.1.13 src/fluents/value-fluent.lisp  
3.1.14 src/fluents/fluent-net.lisp  
3.1.15 src/fluents/pulse-fluent.lisp  
3.1.16 src/walker/env.lisp  
3.1.17 src/walker/env-impl-specific.lisp  
3.1.18 src/walker/plan-tree.lisp  
3.1.19 src/walker/walker.lisp  
3.1.20 src/walker/interface.lisp  
3.1.21 src/language.lisp  
3.1.22 src/plans.lisp  
3.1.23 src/goals.lisp  
3.1.24 src/fluent-operators.lisp  
3.1.25 src/swank-indentation.lisp  
3.1.26 src/sbcl-hotpatches.lisp  
[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.1.1 cram-language.asd

Location

cram-language.asd

[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.1.2 src/packages.lisp

Parent

src (module)

Location

src/packages.lisp

Packages
[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.1.3 src/utils.lisp

Dependency

packages (Lisp file)

Parent

src (module)

Location

src/utils.lisp

[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.1.4 src/task-interface.lisp

Dependencies
Parent

src (module)

Location

src/task-interface.lisp

[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.1.5 src/fluent-interface.lisp

Dependency

packages (Lisp file)

Parent

src (module)

Location

src/fluent-interface.lisp

[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.1.6 src/logging.lisp

Dependencies
Parent

src (module)

Location

src/logging.lisp

[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.1.7 src/with-policy.lisp

Dependency

packages (Lisp file)

Parent

src (module)

Location

src/with-policy.lisp

[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.1.8 src/default-policies.lisp

Dependencies
Parent

src (module)

Location

src/default-policies.lisp

[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.1.9 src/tasks/failures.lisp

Parent

tasks (module)

Location

src/tasks/failures.lisp

[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.1.10 src/tasks/task.lisp

Dependency

failures (Lisp file)

Parent

tasks (module)

Location

src/tasks/task.lisp

[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.1.11 src/tasks/task-tree.lisp

Dependency

task (Lisp file)

Parent

tasks (module)

Location

src/tasks/task-tree.lisp

[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.1.12 src/fluents/fluent.lisp

Parent

fluents (module)

Location

src/fluents/fluent.lisp

[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.1.13 src/fluents/value-fluent.lisp

Dependency

fluent (Lisp file)

Parent

fluents (module)

Location

src/fluents/value-fluent.lisp

[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.1.14 src/fluents/fluent-net.lisp

Dependency

fluent (Lisp file)

Parent

fluents (module)

Location

src/fluents/fluent-net.lisp

[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.1.15 src/fluents/pulse-fluent.lisp

Dependency

fluent (Lisp file)

Parent

fluents (module)

Location

src/fluents/pulse-fluent.lisp

[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.1.16 src/walker/env.lisp

Parent

walker (module)

Location

src/walker/env.lisp

Internal Definitions
[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.1.17 src/walker/env-impl-specific.lisp

Dependency

env (Lisp file)

Parent

walker (module)

Location

src/walker/env-impl-specific.lisp

[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.1.18 src/walker/plan-tree.lisp

Dependency

env-impl-specific (Lisp file)

Parent

walker (module)

Location

src/walker/plan-tree.lisp

Exported Definitions
Internal Definitions
[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.1.19 src/walker/walker.lisp

Dependency

plan-tree (Lisp file)

Parent

walker (module)

Location

src/walker/walker.lisp

Internal Definitions
[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.1.20 src/walker/interface.lisp

Dependency

walker (Lisp file)

Parent

walker (module)

Location

src/walker/interface.lisp

Exported Definitions
[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.1.21 src/language.lisp

Dependencies
Parent

src (module)

Location

src/language.lisp

[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.1.22 src/plans.lisp

Dependencies
Parent

src (module)

Location

src/plans.lisp

[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.1.23 src/goals.lisp

Dependencies
Parent

src (module)

Location

src/goals.lisp

[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.1.24 src/fluent-operators.lisp

Dependencies
Parent

src (module)

Location

src/fluent-operators.lisp

[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.1.25 src/swank-indentation.lisp

Dependency

packages (Lisp file)

Parent

src (module)

Location

src/swank-indentation.lisp

[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.1.26 src/sbcl-hotpatches.lisp

Parent

src (module)

Location

src/sbcl-hotpatches.lisp

[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

4. Packages

Packages are listed by definition order.

4.1 cram-walker  
4.2 cram-user  
[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

4.1 cram-walker

A fairly basic code walker for use in CPL for expanding plans.

Source

packages (Lisp file)

Nickname

walker

Use List

common-lisp

Used By List

cram-language-implementation

Exported Definitions
Internal Definitions
[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

4.2 cram-user

Source

packages (Lisp file)

Nickname

cpl-user

Use List

cram-language

[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

5. Definitions

Definitions are sorted by export status, category, package, and then by lexicographic order.

5.1 Exported definitions  
5.2 Internal definitions  
[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

5.1 Exported definitions

5.1.1 Functions  
5.1.2 Structures  
[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

5.1.1 Functions

Function: expand-plan FORM

Expand-plan takes a sexp and macroexpands it. Whenever it encounters a call
to a plan it continues by expanding the sexp that defined that plan and thus builds up a hierarchie of plans (plan-tree). Expand-plan returns two values: The resulting plan tree and the macroexpansion of form (with calls to plans still in place) of which the plan tree will be the most interesting. The root of the plan-tree returned by expand-plan doesn’t correspond to a plan call, but the form that was passed to expand-plan.

Package

cram-walker

Source

interface (Lisp file)

Function: find-plan-node PLAN-TREE PATH

Return the plan-tree-node specified by the path. Returns nil, if the path
is not valid.

Package

cram-walker

Source

plan-tree (Lisp file)

Function: plan-tree-node-children INSTANCE

Return whether debug-block represents elsewhere code.

Package

cram-walker

Source

plan-tree (Lisp file)

Writer

(setf plan-tree-node-children) (function)

Function: (setf@ plan-tree-node-children) NEW-VALUE INSTANCE

Package

cram-walker

Source

plan-tree (Lisp file)

Reader

plan-tree-node-children (function)

Function: plan-tree-node-parent INSTANCE

Return whether debug-block represents elsewhere code.

Package

cram-walker

Source

plan-tree (Lisp file)

Writer

(setf plan-tree-node-parent) (function)

Function: (setf@ plan-tree-node-parent) NEW-VALUE INSTANCE

Package

cram-walker

Source

plan-tree (Lisp file)

Reader

plan-tree-node-parent (function)

Function: plan-tree-node-path INSTANCE

Return whether debug-block represents elsewhere code.

Package

cram-walker

Source

plan-tree (Lisp file)

Writer

(setf plan-tree-node-path) (function)

Function: (setf@ plan-tree-node-path) NEW-VALUE INSTANCE

Package

cram-walker

Source

plan-tree (Lisp file)

Reader

plan-tree-node-path (function)

Function: plan-tree-node-sexp INSTANCE

Return whether debug-block represents elsewhere code.

Package

cram-walker

Source

plan-tree (Lisp file)

Writer

(setf plan-tree-node-sexp) (function)

Function: (setf@ plan-tree-node-sexp) NEW-VALUE INSTANCE

Package

cram-walker

Source

plan-tree (Lisp file)

Reader

plan-tree-node-sexp (function)

Function: walk-with-tag-handler FORM TAG-HANDLER ENV

Macroexpands form and calls tag-handler once for every (:tag name body)
form it encounters. The two parameters passed to the tag-handler are name and body. Returns the expansion of form.

Package

cram-walker

Source

interface (Lisp file)

[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

5.1.2 Structures

Structure: plan-tree-node

Package

cram-walker

Source

plan-tree (Lisp file)

Direct superclasses

structure-object

Direct methods

print-object

Direct slots
Slot: sexp
Readers

plan-tree-node-sexp (function)

Writers

(setf plan-tree-node-sexp) (function)

Slot: path
Readers

plan-tree-node-path (function)

Writers

(setf plan-tree-node-path) (function)

Slot: parent
Readers

plan-tree-node-parent (function)

Writers

(setf plan-tree-node-parent) (function)

Slot: children
Readers

plan-tree-node-children (function)

Writers

(setf plan-tree-node-children) (function)

[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

5.2 Internal definitions

5.2.1 Special variables  
5.2.2 Macros  
5.2.3 Functions  
[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

5.2.1 Special variables

Special Variable: *cltl2-environment-fns*

The functions for augmenting the environment as defined in CLTL2 are not in the ANSI Standard and thus implementation-spefic. This lists the functions needed and is assigned in env-impl-specific.lisp.

Package

cram-walker

Source

env (Lisp file)

Special Variable: *current-parent*

Contains the current parent when constructing the plan tree during code walking. If we call walk-form with this being nil, it doesnt build a tree, nor follow plan calls.

Package

cram-walker

Source

walker (Lisp file)

Special Variable: *current-path*

Current path during walking and creating the plan tree.

Package

cram-walker

Source

walker (Lisp file)

Special Variable: *shadowed-functions*

This picks up the shaddowed function while walking, so we dont need to
access the environment (which is not possible in a standardized way, not even with whats in CLTL2).

Package

cram-walker

Source

walker (Lisp file)

Special Variable: *tag-walker-handlers*

When a (:tag name body) form is encounterd during code walking,
all functions in the list that *tag-walker-handlers* refers to are called with the 2 parameters name and body.

Package

cram-walker

Source

walker (Lisp file)

[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

5.2.2 Macros

Macro: with-extended-path TYPE LABEL &body BODY

Package

cram-walker

Source

walker (Lisp file)

Macro: with-shadowed-functions BINDS &body BODY

Package

cram-walker

Source

walker (Lisp file)

[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

5.2.3 Functions

Function: aug-env ENV KIND BINDINGS

Returns a new environment that is like env, with the according variable, macro, symbol-macro or function bindings added. Other than CLTL2’s augment-environment, this is designed to be especially convenient to call from within the walker.

Package

cram-walker

Source

env (Lisp file)

Function: augment-environment ENV &key VARIABLE SYMBOL-MACRO FUNCTION MACRO DECLARE

Calls the implementation specific CLTL2 function.

Package

cram-walker

Source

env (Lisp file)

Function: copy-plan-tree-node INSTANCE

Package

cram-walker

Source

plan-tree (Lisp file)

Function: enclose LAMBDA-EXPRESSION &optional ENV

Calls the implementation specific CLTL2 function.

Package

cram-walker

Source

env (Lisp file)

Function: extend-path TYPE LABEL CURRENT-PATH

Package

cram-walker

Source

walker (Lisp file)

Function: lambda-list-keyword-p OBJ

Package

cram-walker

Source

env (Lisp file)

Function: make-plan-tree-node &key (SEXP DUM0) (PATH DUM1) (PARENT DUM2) (CHILDREN DUM3)

Package

cram-walker

Source

plan-tree (Lisp file)

Function: parse-macro NAME LAMBDA-LIST BODY &optional ENV

Calls the implementation specific CLTL2 function.

Package

cram-walker

Source

env (Lisp file)

Function: parse-macro-function FORM ENV

Combines enclose and parse-macro, to return something that can be passed to augment-environment.

Package

cram-walker

Source

env (Lisp file)

Function: plan-tree-node-p OBJECT

Package

cram-walker

Source

plan-tree (Lisp file)

Function: register-child-plan CHILD

Package

cram-walker

Source

walker (Lisp file)

Function: tag-form-handler FORM

Package

cram-walker

Source

walker (Lisp file)

Function: walk-argument ARG ENV

Walk lambda argument (part of an ordinary lambda list). If it is a list of
at least two elements, walk the cadr. Walk nothing else.

Package

cram-walker

Source

walker (Lisp file)

Function: walk-binding B ENV

Walk variable binding like found in let.

Package

cram-walker

Source

walker (Lisp file)

Function: walk-binding-list LIST ENV LET*-STYLE-BINDINGS

Walk list of variable bindings like found in let or let*. If let*-style-bindings is not nil, the bindings are expanded like in a let*.

Package

cram-walker

Source

walker (Lisp file)

Function: walk-block FORM ENV

Walk all but car and cadr.

Package

cram-walker

Source

walker (Lisp file)

Function: walk-cpl-tag FORM ENV

Package

cram-walker

Source

walker (Lisp file)

Function: walk-flet FORM ENV

Walk the function definitions and the walk the body with the functions
added to the environment.

Package

cram-walker

Source

walker (Lisp file)

Function: walk-form FORM ENV

Takes a form and an environment and walkes the form if neccessary, after macroexpanding it fully and considering special cases.

Package

cram-walker

Source

walker (Lisp file)

Function: walk-funcall FORM ENV

Walk all but car.

Package

cram-walker

Source

walker (Lisp file)

Function: walk-function FORM ENV

Walk the cadr. Handle special case of cadr being (lambda () ...), or (setf ...)

Package

cram-walker

Source

walker (Lisp file)

Function: walk-labels FORM ENV

Add the function definitions to the environment, then walk those
definitions and the body.

Package

cram-walker

Source

walker (Lisp file)

Function: walk-lambda FORM ENV

Walk argument list and body.

Package

cram-walker

Source

walker (Lisp file)

Function: walk-let FORM ENV &key LET*-STYLE-BINDINGS

Walk list of bindings and body.

Package

cram-walker

Source

walker (Lisp file)

Function: walk-let* FORM ENV

Package

cram-walker

Source

walker (Lisp file)

Function: walk-list LIST ENV

Walk each element of the list.

Package

cram-walker

Source

walker (Lisp file)

Function: walk-list-of-lambdas LIST ENV

Walk each element like a lambda form.

Package

cram-walker

Source

walker (Lisp file)

Function: walk-load-time-value FORM ENV

Walk the cadr in a nil lexical environment.

Package

cram-walker

Source

walker (Lisp file)

Function: walk-macrolet FORM ENV

Add macro or symbol-macro definitions to the environment and proceed
expanding the body (wrapped in a locally).

Package

cram-walker

Source

walker (Lisp file)

Function: walk-named-lambda FORM ENV

Walk argument list and body.

Package

cram-walker

Source

walker (Lisp file)

Function: walk-ordinary-lambda-list LIST ENV

Walk lambda argument list (ordinary lambda list).

Package

cram-walker

Source

walker (Lisp file)

Function: walk-plan-form FORM ENV

Handles a plan or tag form and creates a node in the plan tree.

Package

cram-walker

Source

walker (Lisp file)

Function: walk-quote FORM ENV

Don’t walk anything

Package

cram-walker

Source

walker (Lisp file)

[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

A. Indexes

A.1 Concepts  
A.2 Functions  
A.3 Variables  
A.4 Data types  
[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

A.1 Concepts

Jump to:   C   F   L   M   S  
Index Entry Section
C
cram-language.asd3.1.1 cram-language.asd
F
File, Lisp, cram-language.asd3.1.1 cram-language.asd
File, Lisp, src/default-policies.lisp3.1.8 src/default-policies.lisp
File, Lisp, src/fluent-interface.lisp3.1.5 src/fluent-interface.lisp
File, Lisp, src/fluent-operators.lisp3.1.24 src/fluent-operators.lisp
File, Lisp, src/fluents/fluent-net.lisp3.1.14 src/fluents/fluent-net.lisp
File, Lisp, src/fluents/fluent.lisp3.1.12 src/fluents/fluent.lisp
File, Lisp, src/fluents/pulse-fluent.lisp3.1.15 src/fluents/pulse-fluent.lisp
File, Lisp, src/fluents/value-fluent.lisp3.1.13 src/fluents/value-fluent.lisp
File, Lisp, src/goals.lisp3.1.23 src/goals.lisp
File, Lisp, src/language.lisp3.1.21 src/language.lisp
File, Lisp, src/logging.lisp3.1.6 src/logging.lisp
File, Lisp, src/packages.lisp3.1.2 src/packages.lisp
File, Lisp, src/plans.lisp3.1.22 src/plans.lisp
File, Lisp, src/sbcl-hotpatches.lisp3.1.26 src/sbcl-hotpatches.lisp
File, Lisp, src/swank-indentation.lisp3.1.25 src/swank-indentation.lisp
File, Lisp, src/task-interface.lisp3.1.4 src/task-interface.lisp
File, Lisp, src/tasks/failures.lisp3.1.9 src/tasks/failures.lisp
File, Lisp, src/tasks/task-tree.lisp3.1.11 src/tasks/task-tree.lisp
File, Lisp, src/tasks/task.lisp3.1.10 src/tasks/task.lisp
File, Lisp, src/utils.lisp3.1.3 src/utils.lisp
File, Lisp, src/walker/env-impl-specific.lisp3.1.17 src/walker/env-impl-specific.lisp
File, Lisp, src/walker/env.lisp3.1.16 src/walker/env.lisp
File, Lisp, src/walker/interface.lisp3.1.20 src/walker/interface.lisp
File, Lisp, src/walker/plan-tree.lisp3.1.18 src/walker/plan-tree.lisp
File, Lisp, src/walker/walker.lisp3.1.19 src/walker/walker.lisp
File, Lisp, src/with-policy.lisp3.1.7 src/with-policy.lisp
L
Lisp File, cram-language.asd3.1.1 cram-language.asd
Lisp File, src/default-policies.lisp3.1.8 src/default-policies.lisp
Lisp File, src/fluent-interface.lisp3.1.5 src/fluent-interface.lisp
Lisp File, src/fluent-operators.lisp3.1.24 src/fluent-operators.lisp
Lisp File, src/fluents/fluent-net.lisp3.1.14 src/fluents/fluent-net.lisp
Lisp File, src/fluents/fluent.lisp3.1.12 src/fluents/fluent.lisp
Lisp File, src/fluents/pulse-fluent.lisp3.1.15 src/fluents/pulse-fluent.lisp
Lisp File, src/fluents/value-fluent.lisp3.1.13 src/fluents/value-fluent.lisp
Lisp File, src/goals.lisp3.1.23 src/goals.lisp
Lisp File, src/language.lisp3.1.21 src/language.lisp
Lisp File, src/logging.lisp3.1.6 src/logging.lisp
Lisp File, src/packages.lisp3.1.2 src/packages.lisp
Lisp File, src/plans.lisp3.1.22 src/plans.lisp
Lisp File, src/sbcl-hotpatches.lisp3.1.26 src/sbcl-hotpatches.lisp
Lisp File, src/swank-indentation.lisp3.1.25 src/swank-indentation.lisp
Lisp File, src/task-interface.lisp3.1.4 src/task-interface.lisp
Lisp File, src/tasks/failures.lisp3.1.9 src/tasks/failures.lisp
Lisp File, src/tasks/task-tree.lisp3.1.11 src/tasks/task-tree.lisp
Lisp File, src/tasks/task.lisp3.1.10 src/tasks/task.lisp
Lisp File, src/utils.lisp3.1.3 src/utils.lisp
Lisp File, src/walker/env-impl-specific.lisp3.1.17 src/walker/env-impl-specific.lisp
Lisp File, src/walker/env.lisp3.1.16 src/walker/env.lisp
Lisp File, src/walker/interface.lisp3.1.20 src/walker/interface.lisp
Lisp File, src/walker/plan-tree.lisp3.1.18 src/walker/plan-tree.lisp
Lisp File, src/walker/walker.lisp3.1.19 src/walker/walker.lisp
Lisp File, src/with-policy.lisp3.1.7 src/with-policy.lisp
M
Module, src/2.1 src/
Module, src/fluents/2.3 src/fluents/
Module, src/tasks/2.2 src/tasks/
Module, src/walker/2.4 src/walker/
S
src/2.1 src/
src/default-policies.lisp3.1.8 src/default-policies.lisp
src/fluent-interface.lisp3.1.5 src/fluent-interface.lisp
src/fluent-operators.lisp3.1.24 src/fluent-operators.lisp
src/fluents/2.3 src/fluents/
src/fluents/fluent-net.lisp3.1.14 src/fluents/fluent-net.lisp
src/fluents/fluent.lisp3.1.12 src/fluents/fluent.lisp
src/fluents/pulse-fluent.lisp3.1.15 src/fluents/pulse-fluent.lisp
src/fluents/value-fluent.lisp3.1.13 src/fluents/value-fluent.lisp
src/goals.lisp3.1.23 src/goals.lisp
src/language.lisp3.1.21 src/language.lisp
src/logging.lisp3.1.6 src/logging.lisp
src/packages.lisp3.1.2 src/packages.lisp
src/plans.lisp3.1.22 src/plans.lisp
src/sbcl-hotpatches.lisp3.1.26 src/sbcl-hotpatches.lisp
src/swank-indentation.lisp3.1.25 src/swank-indentation.lisp
src/task-interface.lisp3.1.4 src/task-interface.lisp
src/tasks/2.2 src/tasks/
src/tasks/failures.lisp3.1.9 src/tasks/failures.lisp
src/tasks/task-tree.lisp3.1.11 src/tasks/task-tree.lisp
src/tasks/task.lisp3.1.10 src/tasks/task.lisp
src/utils.lisp3.1.3 src/utils.lisp
src/walker/2.4 src/walker/
src/walker/env-impl-specific.lisp3.1.17 src/walker/env-impl-specific.lisp
src/walker/env.lisp3.1.16 src/walker/env.lisp
src/walker/interface.lisp3.1.20 src/walker/interface.lisp
src/walker/plan-tree.lisp3.1.18 src/walker/plan-tree.lisp
src/walker/walker.lisp3.1.19 src/walker/walker.lisp
src/with-policy.lisp3.1.7 src/with-policy.lisp
Jump to:   C   F   L   M   S  
[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

A.2 Functions

Jump to:   (  
A   C   E   F   L   M   P   R   T   W  
Index Entry Section
(
(5.1.1 Functions
(5.1.1 Functions
(5.1.1 Functions
(5.1.1 Functions
A
aug-env5.2.3 Functions
augment-environment5.2.3 Functions
C
copy-plan-tree-node5.2.3 Functions
E
enclose5.2.3 Functions
expand-plan5.1.1 Functions
extend-path5.2.3 Functions
F
find-plan-node5.1.1 Functions
Function, (setf plan-tree-node-children)5.1.1 Functions
Function, (setf plan-tree-node-parent)5.1.1 Functions
Function, (setf plan-tree-node-path)5.1.1 Functions
Function, (setf plan-tree-node-sexp)5.1.1 Functions
Function, aug-env5.2.3 Functions
Function, augment-environment5.2.3 Functions
Function, copy-plan-tree-node5.2.3 Functions
Function, enclose5.2.3 Functions
Function, expand-plan5.1.1 Functions
Function, extend-path5.2.3 Functions
Function, find-plan-node5.1.1 Functions
Function, lambda-list-keyword-p5.2.3 Functions
Function, make-plan-tree-node5.2.3 Functions
Function, parse-macro5.2.3 Functions
Function, parse-macro-function5.2.3 Functions
Function, plan-tree-node-children5.1.1 Functions
Function, plan-tree-node-p5.2.3 Functions
Function, plan-tree-node-parent5.1.1 Functions
Function, plan-tree-node-path5.1.1 Functions
Function, plan-tree-node-sexp5.1.1 Functions
Function, register-child-plan5.2.3 Functions
Function, tag-form-handler5.2.3 Functions
Function, walk-argument5.2.3 Functions
Function, walk-binding5.2.3 Functions
Function, walk-binding-list5.2.3 Functions
Function, walk-block5.2.3 Functions
Function, walk-cpl-tag5.2.3 Functions
Function, walk-flet5.2.3 Functions
Function, walk-form5.2.3 Functions
Function, walk-funcall5.2.3 Functions
Function, walk-function5.2.3 Functions
Function, walk-labels5.2.3 Functions
Function, walk-lambda5.2.3 Functions
Function, walk-let5.2.3 Functions
Function, walk-let*5.2.3 Functions
Function, walk-list5.2.3 Functions
Function, walk-list-of-lambdas5.2.3 Functions
Function, walk-load-time-value5.2.3 Functions
Function, walk-macrolet5.2.3 Functions
Function, walk-named-lambda5.2.3 Functions
Function, walk-ordinary-lambda-list5.2.3 Functions
Function, walk-plan-form5.2.3 Functions
Function, walk-quote5.2.3 Functions
Function, walk-with-tag-handler5.1.1 Functions
L
lambda-list-keyword-p5.2.3 Functions
M
Macro, with-extended-path5.2.2 Macros
Macro, with-shadowed-functions5.2.2 Macros
make-plan-tree-node5.2.3 Functions
P
parse-macro5.2.3 Functions
parse-macro-function5.2.3 Functions
plan-tree-node-children5.1.1 Functions
plan-tree-node-p5.2.3 Functions
plan-tree-node-parent5.1.1 Functions
plan-tree-node-path5.1.1 Functions
plan-tree-node-sexp5.1.1 Functions
R
register-child-plan5.2.3 Functions
T
tag-form-handler5.2.3 Functions
W
walk-argument5.2.3 Functions
walk-binding5.2.3 Functions
walk-binding-list5.2.3 Functions
walk-block5.2.3 Functions
walk-cpl-tag5.2.3 Functions
walk-flet5.2.3 Functions
walk-form5.2.3 Functions
walk-funcall5.2.3 Functions
walk-function5.2.3 Functions
walk-labels5.2.3 Functions
walk-lambda5.2.3 Functions
walk-let5.2.3 Functions
walk-let*5.2.3 Functions
walk-list5.2.3 Functions
walk-list-of-lambdas5.2.3 Functions
walk-load-time-value5.2.3 Functions
walk-macrolet5.2.3 Functions
walk-named-lambda5.2.3 Functions
walk-ordinary-lambda-list5.2.3 Functions
walk-plan-form5.2.3 Functions
walk-quote5.2.3 Functions
walk-with-tag-handler5.1.1 Functions
with-extended-path5.2.2 Macros
with-shadowed-functions5.2.2 Macros
Jump to:   (  
A   C   E   F   L   M   P   R   T   W  
[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

A.3 Variables

Jump to:   *  
C   P   S  
Index Entry Section
*
*cltl2-environment-fns*5.2.1 Special variables
*current-parent*5.2.1 Special variables
*current-path*5.2.1 Special variables
*shadowed-functions*5.2.1 Special variables
*tag-walker-handlers*5.2.1 Special variables
C
children5.1.2 Structures
P
parent5.1.2 Structures
path5.1.2 Structures
S
sexp5.1.2 Structures
Slot, children5.1.2 Structures
Slot, parent5.1.2 Structures
Slot, path5.1.2 Structures
Slot, sexp5.1.2 Structures
Special Variable, *cltl2-environment-fns*5.2.1 Special variables
Special Variable, *current-parent*5.2.1 Special variables
Special Variable, *current-path*5.2.1 Special variables
Special Variable, *shadowed-functions*5.2.1 Special variables
Special Variable, *tag-walker-handlers*5.2.1 Special variables
Jump to:   *  
C   P   S  
[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

A.4 Data types

Jump to:   C   P   S  
Index Entry Section
C
cram-language1.1 cram-language
cram-user4.2 cram-user
cram-walker4.1 cram-walker
P
Package, cram-user4.2 cram-user
Package, cram-walker4.1 cram-walker
plan-tree-node5.1.2 Structures
S
Structure, plan-tree-node5.1.2 Structures
System, cram-language1.1 cram-language
Jump to:   C   P   S  
[Top] [Contents] [Index] [ ? ]

Table of Contents

[Top] [Contents] [Index] [ ? ]

About This Document

This document was generated by gaya on February 1, 2016 using texi2html 1.82.

The buttons in the navigation panels have the following meaning:

Button Name Go to From 1.2.3 go to
[ < ] Back Previous section in reading order 1.2.2
[ > ] Forward Next section in reading order 1.2.4
[ << ] FastBack Beginning of this chapter or previous chapter 1
[ Up ] Up Up section 1.2
[ >> ] FastForward Next chapter 2
[Top] Top Cover (top) of document  
[Contents] Contents Table of contents  
[Index] Index Index  
[ ? ] About About (help)  

where the Example assumes that the current position is at Subsubsection One-Two-Three of a document of the following structure:

  • 1. Section One
    • 1.1 Subsection One-One
      • ...
    • 1.2 Subsection One-Two
      • 1.2.1 Subsubsection One-Two-One
      • 1.2.2 Subsubsection One-Two-Two
      • 1.2.3 Subsubsection One-Two-Three     <== Current Position
      • 1.2.4 Subsubsection One-Two-Four
    • 1.3 Subsection One-Three
      • ...
    • 1.4 Subsection One-Four

This document was generated by gaya on February 1, 2016 using texi2html 1.82.