SPARK Documentation

Module Name: SPARK (spark.lang.advice)
Organization(s): SRI International
Generated On: 02 Aug 2006 11:37AM

Listing for module spark.lang.advice

This is auto-generated documentation.

Contents:

Actions

intendTFrame $tframe
resolveAdvice $tframes $advice $event $resolved_advice

Predicates

AdviceActive $label
AdviceWeight $kind $numeric_weight
AncestorEvent $event $ancestor
AncestorTFrame $event $ancestor
ConsultActive $label
ContextFeature $event $feature
ContextRole $event $role
EventIsSolver $event
Feature $tframe_or_event $feature
MyPr $format rest: arglist
Role $tframe $role

Functions

features $tframe_or_event
roles $tframe