Nonterminals
Atom
Atomic
Clause
Const
Equal
Expr
Formula
Formulas
Formulas_opt
Frame
FrameAttribute
FrameAttributes
FrameAttributes_opt
Group
Implies
Member
Meta
Meta_opt
OuterDocument
RifDocument
Rule
RuleOrGroup
RuleSet
RuleSet_opt
Subclass
SubTerm
SubTerms
SubTerms_opt
SymSpace
Term
TermAttribute
UniTermBody
Var
Vars
Vars_opt
Copyright © 2008
ILOG, Inc.
; All Rights Reserved.
