RiverSoftAVG Products Help

TCrackFactSet

Represents type TCrackFactSet.

TIEClipsParser

Represents type TIEClipsParser.

TIEClipsStream

Represents type TIEClipsStream.

TSlotArgRecord

Represents type TSlotArgRecord.

TIStreamTokenStack

Represents an alias of the TStack type.

TSlotFunctionsStrings

Represents an alias of the TGStringList type.

SDefGlobalKeyword

'defglobal'

SDefGlobalSyntax

'(defglobal [?*<variable-name>* = <global-value>]+)'+sLineBreak+' where'+sLineBreak+' <variable-name> must be a unique name and '+sLineBreak+' <global-value> = <constant>|<function-call>'

SDefinedTypeKeyword

'deftype'

SDefinedTypeSyntax

'deftype [<module-name>::]<symbol-name>'+sLineBreak+' [<string-comment>] extends <type-name>'+sLineBreak+' [ [<range-definition>]'+sLineBreak+' [<unit-definition>]'+sLineBreak+' [<cardinality-definition>]'+sLineBreak+' [<allowed-definition>*]'+sLineBreak+' ] |'+sLineBreak+' [fuzzy-variable-definition]'+sLineBreak+''+sLineBreak+'<type-name> = (type <ATOM| STRING| INTEGER| FACTID| FLOAT| DESCRIPTOR| OBJECT| CLASS| EXTERNALADDRESS>+|FUZZY)'+sLineBreak+'<range-definition> = (range <min-float-expression> <max-float-expression>)'+sLineBreak+'<unit-definition> = (units <string-expression>)'+sLineBreak+'<cardinality-definition> = (range <min-float> <max-float>)'+sLineBreak+'<allowed-definition> = (allowed-values <expression>+)|'+sLineBreak+' (allowed-numbers <numeric-expression>+)|'+sLineBreak+' (allowed-integers <integer-expression>+)|'+sLineBreak+' (allowed-floats <float-expression>+)|'+sLineBreak+' (allowed-lexemes <string-or-symbol-expression>+)'+sLineBreak+' (allowed-symbols <symbol-expression>+)|'+sLineBreak+' (allowed-strings <string-expression>+)'+sLineBreak+'<fuzzy-variable-definition>= (range <min-float-expression> <max-float-expression>) [(values <fuzzy-term-definition>+)]'+sLineBreak+'<fuzzy-term-definition> = (term <symbol-name> [<fuzzy-singletons>]|'+sLineBreak+' [(s <leftbound-numeric-expression> <rightbound-numeric-expression>)]|'+sLineBreak+' [(z <leftbound-numeric-expression> <rightbound-numeric-expression>)]|'+sLineBreak+' [(tri <leftbound-numeric-expression> <center-numeric-expression> <rightbound-numeric-expression>)]|'+sLineBreak+' [(pi [ <center-numeric-expression> <range-numeric-expression> ] | [ <left-numeric-expression> <center-numeric-expression> <right-numeric-expression> ])]'+sLineBreak+'<fuzzy-singletons> = ((x0 y0)+)'+sLineBreak+':: = Module separator. Module name is optional. If not specified, a rule belongs to the currently active module'

SFactSetKeyword

'deffacts'

SFactSetSyntax

'(deffacts <name> ["comment"] <fact>*)'

SFactTemplateKeyword

'deftemplate'

SFactTemplateSyntax

'(deftemplate [<module-name>::]<symbol-name> '+sLineBreak+' [<string-comment>] '+sLineBreak+' <slot-definition>*)'+sLineBreak+''+sLineBreak+'<slot-definition> = (slot|field <symbol-name> <slot-attribute>*) | (multislot <symbol-name> <slot-attribute>*)'+sLineBreak+'<slot-attribute> = (default ?DERIVE|?NONE|<constant>|<variable>|<function-call>)'+sLineBreak+' (default-dynamic <value-expression>) |'+sLineBreak+' (type SYMBOL | ATOM | STRING | INTEGER | FLOAT |'+sLineBreak+' LEXEME | NUMBER | CLASS | DESCRIPTOR | OBJECT |'+sLineBreak+' EXTERNALADDRESS | FUZZY | FACT | FACTID |'+sLineBreak+' ?VARIABLE | <deftype-name-expression>) |'+sLineBreak+' (range ?VARIABLE|<numeric-expression> ?VARIABLE|<numeric-expression>)|'+sLineBreak+' (cardinality ?VARIABLE|<integer-expression> ?VARIABLE|<integer-expression>)|'+sLineBreak+' (allowed-values <expression>+)|'+sLineBreak+' (allowed-lexemes <lexeme-expression>+) |'+sLineBreak+' (allowed-strings <string-expression>+) |'+sLineBreak+' (allowed-symbols <symbol-expression>+) |'+sLineBreak+' (allowed-numbers <numeric-expression>+) |'+sLineBreak+' (allowed-integers <integer-expression>+) |'+sLineBreak+' (allowed-floats <float-expression>+) |'+sLineBreak+' (units <string-expression>)'+sLineBreak+':: = Module separator. Module name is optional. If not specified, a rule belongs to the currently active module'

SFunctionKeyword

'function'

SFuzzyTermKeyword

'term'

SModuleKeyword

'defmodule'

SModuleSyntax

'(defmodule <symbol-name> [<string-comment>] [[<export-statement>]|[<import-statement>*]])'+sLineBreak+''+sLineBreak+'<export-statement> ='+sLineBreak+' (export ?ALL)|'+sLineBreak+' (export ?NONE)|'+sLineBreak+' (export deftype|deftemplate ?ALL)|'+sLineBreak+' (export deftype|deftemplate ?NONE)|'+sLineBreak+' (export deftype|deftemplate <names>+)'+sLineBreak+'<import-statement> ='+sLineBreak+' (import <module-name> ?ALL)|'+sLineBreak+' (import <module-name> ?NONE)|'+sLineBreak+' (import <module-name> deftype|deftemplate ?ALL)|'+sLineBreak+' (import <module-name> deftype|deftemplate ?NONE)|'+sLineBreak+' (import <module-name> deftype|deftemplate <construct-names>+)'+sLineBreak+'<construct-names> = (<template-name> | <deftype-name>*)'+sLineBreak+'?ALL = literal, meaning to import/export all constructs of that type for the module'+sLineBreak+'?NONE = literal, meaning to import/export NO constructs of that type for the module'

SRuleKeyword

'defrule'

SRuleSyntax

'(defrule [<module-name>::]<symbol-name>'+sLineBreak+' [<string-comment>]'+sLineBreak+' [(declare [(auto-focus <boolean-expression>])|'+sLineBreak+' [(salience <integer-expression>)]|'+sLineBreak+' [(oneshot <boolean-expression>])|'+sLineBreak+' [(enabled <boolean-expression>])]'+sLineBreak+' <conditional-element>*'+sLineBreak+' =>'+sLineBreak+' <action>*)'+sLineBreak+''+sLineBreak+'<conditional-element> = <pattern> | ?<variable-name> <- <pattern> |'+sLineBreak+' (test <function-call>) |'+sLineBreak+' (not <conditional-element>) |'+sLineBreak+' (unique <conditional-element>) |'+sLineBreak+' (explicit <conditional-element>) |'+sLineBreak+' (exists <conditional-element>+)'+sLineBreak+'<pattern> = (<template-name> <slot>*)'+sLineBreak+'<slot> = (<slot-name> <constraint>*)'+sLineBreak+'<constraint> = ? | $? | <connected-constraint>'+sLineBreak+'<connected-constraint> = <single-constraint> | <<single-constraint>&<connected-constraint>> |'+sLineBreak+' <<single-constraint>|<connected-constraint>>'+sLineBreak+'<single-constraint> = <constant> | <variable> | :<function-call> | =<function-call> |'+sLineBreak+' ~<constant> | ~<variable> | ~:<function-call> | ~=<function-call>'+sLineBreak+'<action> = <constant>|<variable>|<function-call>'+sLineBreak+':: = Module separator. Module name is optional. If not specified, a rule belongs to the currently active module'

SSyntax

'Syntax:'

SUserFunctionKeyword

'deffunction'

SUserFunctionSyntax

'(deffunction <function-name> (<argument>*)'+sLineBreak+' ["optional comment"]'+sLineBreak+' <statement>* '+sLineBreak+')'+sLineBreak+' where'+sLineBreak+' <function-name> must be a unique name and'+sLineBreak+' <statement> = <constant>|<variable>|<function-call>'

PrettyPrint(Boolean,TSharedConstructs,TStrings,String)

Overloaded. Represents method PrettyPrint(Boolean,TSharedConstructs,TStrings,String).

PrettyPrint(IFact)

Overloaded. Represents method PrettyPrint(IFact).

PrettyPrint(IFact,String)

Overloaded. Represents method PrettyPrint(IFact,String).

PrettyPrint(IFact,String,IIEValue)

Overloaded. Represents method PrettyPrint(IFact,String,IIEValue).

PrettyPrint(IFact,String,String)

Overloaded. Represents method PrettyPrint(IFact,String,String).

PrettyPrint(IFactSlot)

Overloaded. Represents method PrettyPrint(IFactSlot).

PrettyPrint(IFactTemplate,Boolean)

Overloaded. Represents method PrettyPrint(IFactTemplate,Boolean).

PrettyPrint(IFunCall,Boolean)

Overloaded. Represents method PrettyPrint(IFunCall,Boolean).

PrettyPrint(IFuzzySet,Boolean)

Overloaded. Represents method PrettyPrint(IFuzzySet,Boolean).

PrettyPrint(IFuzzyVariable)

Overloaded. Represents method PrettyPrint(IFuzzyVariable).

PrettyPrint(IIEDefinedType,Boolean)

Overloaded. Represents method PrettyPrint(IIEDefinedType,Boolean).

PrettyPrint(IInterpretedFunction)

Overloaded. Represents method PrettyPrint(IInterpretedFunction).

PrettyPrint(IModule)

Overloaded. Represents method PrettyPrint(IModule).

PrettyPrint(ISingletonsVector)

Overloaded. Represents method PrettyPrint(ISingletonsVector).

PrettyPrint(IUserFunction,String)

Overloaded. Represents method PrettyPrint(IUserFunction,String).

PrettyPrint(String,IIEValue)

Overloaded. Represents method PrettyPrint(String,IIEValue).

PrettyPrint(TFactSet,Boolean)

Overloaded. Represents method PrettyPrint(TFactSet,Boolean).

PrettyPrint(TIEPattern)

Overloaded. Represents method PrettyPrint(TIEPattern).

PrettyPrint(TParsedType)

Overloaded. Represents method PrettyPrint(TParsedType).

PrettyPrint(TRule,Boolean)

Overloaded. Represents method PrettyPrint(TRule,Boolean).

PrettyPrint(TRule,TRuleConstruct)

Overloaded. Represents method PrettyPrint(TRule,TRuleConstruct).

PrettyPrint(TValueHashTable)

Overloaded. Represents method PrettyPrint(TValueHashTable).