|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||
ACMatchLoop the loop corresponding to the AC match between the pattern and the subjectAssign instanciates a variableAssignTo specifies that we want to instanciate Variable with the term on which this constraint is attachedOrConnector this is the 'or' connector that initially connected the constraints in the lhs of the ruleOrConstraintDisjunction used for the disjunction of symbolsOrExpressionDisjunction used for the disjunction of symbolsWhileExpression a do while loopOrConnector this is the 'or' connector that initially connected the constraints in the lhs of the ruleOrConstraintDisjunction used for the disjunction of symbolsOrExpressionDisjunction used for the disjunction of symbolsFunctionCall generates a function callLet declares and instanciates a variable surrounded by curlys - functional way
LetRef as above, but not functionalListHead represents the head of a listListTail the tail of a listFunctionCall generates a function call
ListHead represents the head of a list
ListTail the tail of a list
VariableHeadArray a head array that is variable ( starting from begining to end )
VariableHeadList a head list that is variable ( starting from begining to end )
Tom main construct to embed a Tom island
It will be generated on a single line
TomInclude like Tom, but corresponds to an include.
AssignTo specifies that we want to instanciate Variable with the term on which this constraint is attached
OrConstraintDisjunction used for the disjunction of symbols
OrConstraintDisjunction used for the disjunction of symbols
ACMatchLoop the loop corresponding to the AC match between the pattern and the subject
OrConnector this is the 'or' connector that initially connected the constraints in the lhs of the rule
OrExpressionDisjunction used for the disjunction of symbols
WhileExpression a do while loop
OrConnector this is the 'or' connector that initially connected the constraints in the lhs of the rule
OrExpressionDisjunction used for the disjunction of symbols
Substract(Term1:BQTerm,Term2:BQTerm) performs Term1-Term2
Assign instanciates a variable
Let declares and instanciates a variable surrounded by curlys - functional way
LetRef as above, but not functional
Match a match instruction
RecordAppl application of a symbol to a list of pairs (slot,subterm)
TermAppl application of a symbol to a list of subterms
TestVar instead of generating an assignment, this generates an equality test
...ToTomTerm wrappers to convert a type into TomTerm
Variable a variable
VariableStar a list-variable
XMLAppl application of a xml-symbol to a list of attributes and a list of subterms
Match a match instructionOrConnector this is the 'or' connector that initially connected the constraints in the lhs of the ruleOrConstraintDisjunction used for the disjunction of symbolsOrExpressionDisjunction used for the disjunction of symbolsRecordAppl application of a symbol to a list of pairs (slot,subterm)Substract(Term1:BQTerm,Term2:BQTerm) performs Term1-Term2TermAppl application of a symbol to a list of subtermsTestVar instead of generating an assignment, this generates an equality testTom main construct to embed a Tom island
It will be generated on a single lineTomInclude like Tom, but corresponds to an include....ToTomTerm wrappers to convert a type into TomTermVariable a variableVariableHeadArray a head array that is variable ( starting from begining to end )VariableHeadList a head list that is variable ( starting from begining to end )VariableStar a list-variableXMLAppl application of a xml-symbol to a list of attributes and a list of subterms
|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||