|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||
patterName
name to domain.
system
name and implementation class
className
transformer for terms with name termName
language-name defined by
interface IParser.
language-name defined by
interface IPrinter
t to system with default priority.
s to system.
rule .
ruleset to system system
in domain d .
system with name name
to root domain.
system with name name
to root domain.
appply(ITermFactory.createParsedTerm(x))
appply(ITermFactory.createParsedTerm(x,scl))
AssertException with the specified detail message.
AssertException with the specified detail message.
AssertException with the specified detail message.
this and t via substitution s,
whith bound propositional variables.
s
and when same propositional variables means same things
s
and when same propositional variables means same things
s
t satisficy condition.
t in associated facts database.
checkFact(ITermFactory.createParsedTerm(x))
src term to dst term
f..($x)
name and body body
value
{ x1 : x2 }
{ x1 : x2 }
name (instantiente appropriative
class, defined by TermWareaddJavaStrategy(name,name).
stringBody
name(x1,x2)
createTerm(name,ITermFactory.createString(s))
createTerm(name,ITermFactory.createInt(v),useIndexedNames)
x ?
x ?
Type conversions are not performed.
t ?
x ?
x
t ?
t ?
t ?
x ?
ExternalException.
ExternalException.
objectClass or it superclass with given name and arity.
this and t
and store in s substitution.
this and t
and store in s substitution.
this and t
and store in s substitution.
this and t
and store in s substitution.
i
If such variable does not exists - return null
t to double value.
t , convert to required type if necessory
name .
name of term t
f(x1..xN) is f.
name
If such subdomain does not exists - it's created.
name
If such domain does not exists - it's created.
name
If such domain does not exists - it's created.
language-name
f..($x) this will be f
language-name
t.freeUnify(pattern,s)
IllegalParserNameException without detail message.
name
is not registered in TermWare instance. pattern have form action(x,y).
pattern have form let(x,y).
isList(cons($x,$y)) -> true
isList(NIL) -> true
otherwise isList($x) -> false.- isLoggingMode() -
Method in class ua.gradsoft.termware.DefaultFacts
-
- isLoggingMode() -
Method in interface ua.gradsoft.termware.IFacts
- get logging mode
- isLoggingMode() -
Method in class ua.gradsoft.termware.NullFacts
-
- isLoggingMode() -
Method in class ua.gradsoft.termware.TermSystem
-
- isLong() -
Method in class ua.gradsoft.termware.AbstractComplexTerm
- is this term is Long ?
- isLong() -
Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
-
- isLong() -
Method in class ua.gradsoft.termware.AttributedTerm
-
- isLong() -
Method in class ua.gradsoft.termware.jj.NodeTerm
-
- isLong() -
Method in class ua.gradsoft.termware.JTerm
- if this is long
- isLong() -
Method in class ua.gradsoft.termware.LongTerm
- is this term represets long ?
- isLong() -
Method in class ua.gradsoft.termware.Term
- is Term is long ?
- isLong() -
Method in class ua.gradsoft.termware.XTerm
-
- IsLongTransformer - Class in ua.gradsoft.termware.transformers.general
- isLong(x) = true if term 'x' is a long;
- IsLongTransformer() -
Constructor for class ua.gradsoft.termware.transformers.general.IsLongTransformer
-
- isNil() -
Method in class ua.gradsoft.termware.AbstractComplexTerm
- is this term is nil ?
- isNil() -
Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
-
- isNil() -
Method in class ua.gradsoft.termware.AttributedTerm
-
- isNil() -
Method in class ua.gradsoft.termware.jj.NodeTerm
-
- isNil() -
Method in class ua.gradsoft.termware.JTerm
- is this term is nil ?
- isNil() -
Method in class ua.gradsoft.termware.NILTerm
-
- isNil() -
Method in class ua.gradsoft.termware.Term
- is term is nil ?
- isNil() -
Method in class ua.gradsoft.termware.XTerm
-
- IsNilTransformer - Class in ua.gradsoft.termware.transformers.general
- isNil(x) = true if term 'x' is nil;
- isNumber() -
Method in class ua.gradsoft.termware.AbstractComplexTerm
- is this term is Number ?
- isNumber() -
Method in class ua.gradsoft.termware.AtomTerm
- is this is number.
- isNumber() -
Method in class ua.gradsoft.termware.AttributedTerm
-
- isNumber() -
Method in class ua.gradsoft.termware.BigDecimalTerm
- is this term represents Number ?
- isNumber() -
Method in class ua.gradsoft.termware.BigIntegerTerm
- is this term represents Number ?
- isNumber() -
Method in class ua.gradsoft.termware.BooleanTerm
- is this term is number ?
- isNumber() -
Method in class ua.gradsoft.termware.ByteTerm
- is this term represents Number ?
- isNumber() -
Method in class ua.gradsoft.termware.CharTerm
-
- isNumber() -
Method in class ua.gradsoft.termware.DoubleTerm
- is this term represents Number ?
- isNumber() -
Method in class ua.gradsoft.termware.FloatTerm
- is this term represents Number ?
- isNumber() -
Method in class ua.gradsoft.termware.IntTerm
-
- isNumber() -
Method in class ua.gradsoft.termware.jj.NodeTerm
-
- isNumber() -
Method in class ua.gradsoft.termware.JTerm
-
- isNumber() -
Method in class ua.gradsoft.termware.LongTerm
- is this term represents Number ?
- isNumber() -
Method in class ua.gradsoft.termware.NILTerm
-
- isNumber(int) -
Static method in class ua.gradsoft.termware.PrimaryTypes
- is
is number type ?
- isNumber() -
Method in class ua.gradsoft.termware.ShortTerm
- is this term represents Number ?
- isNumber() -
Method in class ua.gradsoft.termware.StringTerm
-
- isNumber() -
Method in class ua.gradsoft.termware.Term
- is term is Number ?
- isNumber() -
Method in class ua.gradsoft.termware.XTerm
-
- IsNumberTransformer - Class in ua.gradsoft.termware.transformers.general
- isNumber(x) = true if term 'x' is a number;
- IsNumberTransformer() -
Constructor for class ua.gradsoft.termware.transformers.general.IsNumberTransformer
-
- isPrimitive(int) -
Static method in class ua.gradsoft.termware.PrimaryTypes
- is
is primitive type ?
- isReduceFacts() -
Method in class ua.gradsoft.termware.TermSystem
- true, if facts are reduced by system before passing to facts database
in
checkFact and setFact methods.
- isShort() -
Method in class ua.gradsoft.termware.AbstractComplexTerm
- is this term is Short ?
- isShort() -
Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
-
- isShort() -
Method in class ua.gradsoft.termware.AttributedTerm
-
- isShort() -
Method in class ua.gradsoft.termware.jj.NodeTerm
-
- isShort() -
Method in class ua.gradsoft.termware.JTerm
-
- isShort() -
Method in class ua.gradsoft.termware.ShortTerm
- is this term represets short ?
- isShort() -
Method in class ua.gradsoft.termware.Term
- is Term is short ?
- isShort() -
Method in class ua.gradsoft.termware.XTerm
-
- IsShortTransformer - Class in ua.gradsoft.termware.transformers.general
- isShort(x) = true if term 'x' is a short integer;
- IsShortTransformer() -
Constructor for class ua.gradsoft.termware.transformers.general.IsShortTransformer
-
- isStop() -
Method in class ua.gradsoft.termware.TermSystem
-
- isStop() -
Method in class ua.gradsoft.termware.TransformationContext
- get stop flag for currently-evaluated term.
- isString() -
Method in class ua.gradsoft.termware.AbstractComplexTerm
- is this tern is String ?
- isString() -
Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
-
- isString() -
Method in class ua.gradsoft.termware.AttributedTerm
-
- isString() -
Method in class ua.gradsoft.termware.jj.NodeTerm
-
- isString() -
Method in class ua.gradsoft.termware.JTerm
-
- isString() -
Method in class ua.gradsoft.termware.StringTerm
-
- isString() -
Method in class ua.gradsoft.termware.Term
- is Term is string ?
- isString() -
Method in class ua.gradsoft.termware.XTerm
-
- IsStringTransformer - Class in ua.gradsoft.termware.transformers.general
- isString(x) = true if term 'x' is a string;
- IsStringTransformer() -
Constructor for class ua.gradsoft.termware.transformers.general.IsStringTransformer
-
- isWherePattern(Term) -
Static method in class ua.gradsoft.termware.util.AbstractRuleTransformer
- Helper method: check if
pattern have form where(x,y).
- isX() -
Method in class ua.gradsoft.termware.AbstractComplexTerm
- is this term is X ?
- isX() -
Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
-
- isX() -
Method in class ua.gradsoft.termware.AttributedTerm
-
- isX() -
Method in class ua.gradsoft.termware.jj.NodeTerm
-
- isX() -
Method in class ua.gradsoft.termware.JTerm
- if this is x ?
- isX() -
Method in class ua.gradsoft.termware.Term
- true if this term is propositional variable.
- isX() -
Method in class ua.gradsoft.termware.XTerm
-
- IsXTransformer - Class in ua.gradsoft.termware.transformers.general
- isX(x) = true if term 'x' is propositional variable";
- IsXTransformer() -
Constructor for class ua.gradsoft.termware.transformers.general.IsXTransformer
-
- iterator() -
Method in class ua.gradsoft.termware.util.TransformersSet
- return iterator throught transformers
- iterator(String) -
Method in class ua.gradsoft.termware.util.TransformersStar
- return iterator of transformers for this pattern name.
- iterator() -
Method in class ua.gradsoft.termware.util.TransformersStar
-
- ITermRewritingStrategy - Interface in ua.gradsoft.termware
- general interface for rewriting strategy
- ITermTransformer - Interface in ua.gradsoft.termware
- interface for build-in operations or rules.
- ITermWareException - Interface in ua.gradsoft.termware
- Marker interface for TermWare exception
name
implemented by java class className name implemented by className i
If arity of existing term is less than i -- add NIL
subterms as emty trees, otherwise -- insert n at index i, moving next elements
up at one index.
- jjtOpen() -
Method in interface ua.gradsoft.termware.jj.INode
- This method is called after the node has been made the current
node.
- jjtOpen() -
Method in class ua.gradsoft.termware.jj.NodeTerm
-
- jjtSetChildInternal(INode, int) -
Method in class ua.gradsoft.termware.jj.NodeTerm
- set child at given place, replcing existing.
- jjtSetParentInternal(INode) -
Method in interface ua.gradsoft.termware.jj.INode
- This pair of methods are used to inform the node of its
parent.
- jjtSetParentInternal(INode) -
Method in class ua.gradsoft.termware.jj.NodeTerm
-
- JOBJECT_INDEX -
Static variable in interface ua.gradsoft.termware.TermWareSymbols
- index for "jobject"
- JOBJECT_STRING -
Static variable in interface ua.gradsoft.termware.TermWareSymbols
- "jobject"
- JSR223ProgramTransformer - Class in ua.gradsoft.termware.transformers.general
- Transformer for sequential processing for list of subterms.
- JTerm - Class in ua.gradsoft.termware
- Term wich incapsulate opaque Java Object.
- JTerm(Object) -
Constructor for class ua.gradsoft.termware.JTerm
- construct instance of JTerm from Java Object
name and return target term.
- LoadFileTransformer - Class in ua.gradsoft.termware.transformers.sys
- Trandformer for loadFile.
- LoadFileTransformer() -
Constructor for class ua.gradsoft.termware.transformers.sys.LoadFileTransformer
-
- log(TermSystem, Class, String) -
Static method in class ua.gradsoft.termware.util.LogHelper
- output message
message if system sys
in logging mode and logged entities are "All" or aClass.getName() .
- log(TermSystem, Class, String, Term) -
Static method in class ua.gradsoft.termware.util.LogHelper
- output message
message with term t if system sys
in logging mode and logged entities are "All" or aClass.getName() .
- log(TermSystem, Class, String, Substitution) -
Static method in class ua.gradsoft.termware.util.LogHelper
- output message
message with substitution s if system
sys in logging mode and logged entities are "All" or
aClass.getName() .
- log(TermSystem, String, Class, String) -
Static method in class ua.gradsoft.termware.util.LogHelper
- output message
message if system
sys in logging mode and logged entities are "All" or debugEntity
or aClass.getName() .
- log(TermSystem, String, Class, String, Term) -
Static method in class ua.gradsoft.termware.util.LogHelper
- output message
message with term t if system
sys in logging mode and logged entities are "All" or debugEntity
or aClass.getName() .
- log(TermSystem, String, Class, String, Substitution) -
Static method in class ua.gradsoft.termware.util.LogHelper
- output message
message with substitution s if system
sys in logging mode and logged entities are "All" or debugEntity
or aClass.getName() .
- LogHelper - Class in ua.gradsoft.termware.util
- Helper for logging into system environments.
- LogHelper() -
Constructor for class ua.gradsoft.termware.util.LogHelper
-
- LOGICAL_AND -
Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
-
- LOGICAL_NOT -
Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
-
- LOGICAL_OR -
Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
-
- LogicalAndTransformer - Class in ua.gradsoft.termware.transformers.general
- logical_and(x,y) = x && y
- LogicalAndTransformer() -
Constructor for class ua.gradsoft.termware.transformers.general.LogicalAndTransformer
-
- LogicalNotTransformer - Class in ua.gradsoft.termware.transformers.general
- logical_not(x) = ! x
- LogicalNotTransformer() -
Constructor for class ua.gradsoft.termware.transformers.general.LogicalNotTransformer
-
- LogicalOrTransformer - Class in ua.gradsoft.termware.transformers.general
- logical_or(x,y) = x || y
- LogicalOrTransformer() -
Constructor for class ua.gradsoft.termware.transformers.general.LogicalOrTransformer
-
- LONG -
Static variable in class ua.gradsoft.termware.PrimaryTypes
-
- LongTerm - Class in ua.gradsoft.termware
- Term, which represend value with java 'long'
semantics.
- LongTerm(long) -
Constructor for class ua.gradsoft.termware.LongTerm
- create new instanse of LongTerm
- lookingAhead -
Variable in class ua.gradsoft.termware.parsers.terms.TermReader
-
x
out
out
out
out
out
out
out
out
out
out
out
out
out
output stream name and descriptions of all rules in system.
- printHelp(PrintStream) -
Method in class ua.gradsoft.termware.util.TransformersSet
- println name and descriptions of transformers to
out
- printHelp(PrintStream) -
Method in class ua.gradsoft.termware.util.TransformersStar
- print help, embedded into rules to
out
- println(TransformationContext, Term) -
Method in class ua.gradsoft.termware.DefaultFacts
- println term to standard output of transformation context
- println(TransformationContext) -
Method in class ua.gradsoft.termware.DefaultFacts
- println CR/LF
- println(PrintStream) -
Method in class ua.gradsoft.termware.Term
- println term on
out .
- println(PrintWriter) -
Method in class ua.gradsoft.termware.Term
- println term on
out .
- PrintStringTransformer - Class in ua.gradsoft.termware.transformers.general
-
- PrintTermTransformer - Class in ua.gradsoft.termware.transformers.sys
- Transformer for expresion:
printTerm(t,[lang,[outtag]])
printTerm(t) - transform to t, with effect of printing term to output stream of current enviorment
printTerm(t,lang) - as previous, but using printer for language
lang - PrintTermTransformer() -
Constructor for class ua.gradsoft.termware.transformers.sys.PrintTermTransformer
-
- printWs(int) -
Method in class ua.gradsoft.termware.printers.AbstractPrinter
- print whitespace n times
- put(Term, Term) -
Method in class ua.gradsoft.termware.Substitution
- put to substitution
frs -> snd .
- putBegin(PrettyPrintingBreakType) -
Method in class ua.gradsoft.termware.printers.PrettyPrintWriter
-
- putBegin(PrettyPrintingBreakType, int, int) -
Method in class ua.gradsoft.termware.printers.PrettyPrintWriter
-
- putBreak(PrettyPrintingBreakType, int, int) -
Method in class ua.gradsoft.termware.printers.PrettyPrintWriter
-
- putConsistentBreak(int) -
Method in class ua.gradsoft.termware.printers.PrettyPrintWriter
-
- putEnd(PrettyPrintingBreakType) -
Method in class ua.gradsoft.termware.printers.PrettyPrintWriter
-
- putEnd(PrettyPrintingBreakType, int, int) -
Method in class ua.gradsoft.termware.printers.PrettyPrintWriter
-
- putEof() -
Method in class ua.gradsoft.termware.printers.PrettyPrintWriter
-
- putInconsistentBreak(int) -
Method in class ua.gradsoft.termware.printers.PrettyPrintWriter
-
- putLineBreak() -
Method in class ua.gradsoft.termware.printers.PrettyPrintWriter
-
- putString(String) -
Method in class ua.gradsoft.termware.printers.PrettyPrintWriter
-
boolean: "true" | "false"
double :
integer :
INTEGER_LITERAL: (["0"-"9"])+("L"|"B")?
- readLetTerm() -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
let_term : "let" term
'let t' is synonim of let(t).
- readNIL() -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
nil: "NIL"
- readPatternTail() -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
-
set_tail : ":" term
|
"," term_comma_list
- readPrimitive() -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
-
primitive: string | integer | double | boolean | nil
- readScopedName() -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
scoped_name : ( "::" ) *
Example:
- readStatement() -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
statement : term ";"
|
term
|
- readStatementWrapped() -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
-
- readString() -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
string:
where STRING_LITERAL described by next regular expression:
- readTerm() -
Method in interface ua.gradsoft.termware.IParser
-
- readTerm() -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
term : let_term | term_expression0
- readTerm() -
Method in class ua.gradsoft.termware.parsers.terms.util.TermParser
-
- readTerm() -
Method in class ua.gradsoft.termware.parsers.xml.terms.XMLTermParser
-
- readTermArgs() -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
-
term_args : "(" term_comma_list ")"
- readTermCommaList() -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
term_comma_list : [ term ( "," term )* ]
- readTermExpression0() -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
term_expression0 : term_expression1 [ "[" term_expression1 "]" ] [ "->" term_expression0 [ "[" term_expression1 "]" ] ]
Example:
- readTermExpression1() -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
term_expression1 : term_expression2 [ "?" term_expression1 ":" term_expression1 ]
Example:
- readTermExpression10() -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
term_expression10 : term_expression11 ( ( "*" | "/" | "%" ) term_expression11 )*
x * y is synonim for multiply(x,y)
x / y is synonim for divide(x,y)
x % y is synonim for mod(x,y)
- readTermExpression11() -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
term_expression11 : ( [ "+" | "-" | "!" | "~" ] term_expression10 )
|
term_expression12
+x is synonim for plus(x)
-x is synonim for minus(x)
!x is synonim for logical_not(x)
~x is synonim for bit_negate(x)
- readTermExpression12() -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
term_expression12 : term_expression13 ( "." term_expression13 )*
x.y is synonim for apply(x,y)
- readTermExpression13() -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
term_expression13 : term_expression_14 [ ".." ( x ) ]
- readTermExpression14() -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
term_expression14 : term_expression_last
- readTermExpression15() -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
term_expression15 : term_expression_last
- readTermExpression2() -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
term_expression2 : term_expression3 [ "||" term_expression2 ]
x || y is synonim for logical_or(x,y)
- readTermExpression3() -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
term_expression3 : term_expression4 [ "&&" term_expression3 ]
x && y is synonim for logical_and(x,y)
- readTermExpression4() -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
term_expression4 : term_expression5
- readTermExpression5() -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
term_expression5 : term_expression6 [ "&" term_expression5 ]
x & y is synonim for bit_and(x,y)
- readTermExpression6() -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
term_expression6 : term_expression7 [ ( "==" | "!=" ) term_expression7 ]
x == y is synonim for eq(x,y)
x != y is synonim for neq(x,y)
- readTermExpression7() -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
term_expression7 : term_expression8 [ ( "<" | ">" | "<=" | ">=" | "=>" | "in" ) term_expression8 ]
x < y is synonim for less(x,y)
x > y is synonim for greater(x,y)
x <= y is synonim for less_eq(x,y)
x >= y is synonim for greater_eq(x,y)
x => y is synonim for eq_greater(x,y)
x in y is synonim for _in(x,y)
- readTermExpression8() -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
term_expression8 : term_expression9 ( ( "<<" | ">>" ) term_expression9 )*
x << y is synonim for left_shift(x,y)
x >> y is synonim for right_shift(x,y)
- readTermExpression9() -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
term_expression9 : term_expression10 ( ( "+" | "-" ) term_expression10 )*
x + y is synonim for plus(x,y)
x - y is synonim for minus(x,y)
- readTermExpressionLast() -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
term_expression_last : scoped_name [ term_args ] | primitive | x | "(" term ")" | "{" term set_tail "}" | "{" "}" | "[" term_comma_list "]"
{ x1, x2, ..
- readTermExpressionWhere() -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
-
- readWhereAssigments() -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
-
- readX() -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
x :
where
id described by next pattern:
- recheckEmptyFv() -
Method in class ua.gradsoft.termware.AbstractComplexTerm
- recheck existance of propositional variables in subterms.
- recheckEmptyFv() -
Method in class ua.gradsoft.termware.ListInArrayTerm
- recheck existance of propositional variables in subterms.
- reduce(Term) -
Method in class ua.gradsoft.termware.TermSystem
- reduce term
x
- reduce(Term, TransformationContext) -
Method in class ua.gradsoft.termware.TermSystem
- reduce term in given transformation context.
- ReduceTransformer - Class in ua.gradsoft.termware.transformers.general
- Transformer which reduce own argument.
- ReduceTransformer() -
Constructor for class ua.gradsoft.termware.transformers.general.ReduceTransformer
-
- ReInit(Reader, int, int, int) -
Method in class ua.gradsoft.termware.parsers.terms.JavaCharStream
-
- ReInit(Reader, int, int) -
Method in class ua.gradsoft.termware.parsers.terms.JavaCharStream
-
- ReInit(Reader) -
Method in class ua.gradsoft.termware.parsers.terms.JavaCharStream
-
- ReInit(InputStream, String, int, int, int) -
Method in class ua.gradsoft.termware.parsers.terms.JavaCharStream
-
- ReInit(InputStream, int, int, int) -
Method in class ua.gradsoft.termware.parsers.terms.JavaCharStream
-
- ReInit(InputStream, String, int, int) -
Method in class ua.gradsoft.termware.parsers.terms.JavaCharStream
-
- ReInit(InputStream, int, int) -
Method in class ua.gradsoft.termware.parsers.terms.JavaCharStream
-
- ReInit(InputStream, String) -
Method in class ua.gradsoft.termware.parsers.terms.JavaCharStream
-
- ReInit(InputStream) -
Method in class ua.gradsoft.termware.parsers.terms.JavaCharStream
-
- ReInit(InputStream) -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
-
- ReInit(InputStream, String) -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
-
- ReInit(Reader) -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
-
- ReInit(TermReaderTokenManager) -
Method in class ua.gradsoft.termware.parsers.terms.TermReader
-
- ReInit(JavaCharStream) -
Method in class ua.gradsoft.termware.parsers.terms.TermReaderTokenManager
-
- ReInit(JavaCharStream, int) -
Method in class ua.gradsoft.termware.parsers.terms.TermReaderTokenManager
-
- remove(Term) -
Method in class ua.gradsoft.termware.set.SetOfTerms
-
- remove() -
Method in class ua.gradsoft.termware.util.EmptyIterator
-
- remove() -
Method in class ua.gradsoft.termware.util.EmptyTransformerIterator
-
- remove() -
Method in class ua.gradsoft.termware.util.SetTransformerIterator
- Deprecated.
- remove(ITermTransformer) -
Method in class ua.gradsoft.termware.util.TransformersSet
- remove transformer from set
- remove() -
Method in class ua.gradsoft.termware.util.TransformersStarIterator
-
- removeFacts(Term) -
Method in class ua.gradsoft.termware.Domain
- remove facts with name
name
- removeFacts(String) -
Method in class ua.gradsoft.termware.Domain
-
- removeFacts(Term) -
Method in class ua.gradsoft.termware.TermWareInstance
-
- removeObjectToNumberConverter(Class) -
Method in class ua.gradsoft.termware.TypeConversion
-
- removeObjectToStringConverter(Class) -
Method in class ua.gradsoft.termware.TypeConversion
-
- removeObjectToTermConverter(Class) -
Method in class ua.gradsoft.termware.TypeConversion
-
- removeParserFactory(String) -
Method in class ua.gradsoft.termware.TermWareInstance
- remove parser for language
language-name
- removePrinterFactory(String) -
Method in class ua.gradsoft.termware.TermWareInstance
- remove printer for language
language-name
- removeStrategy(String) -
Method in class ua.gradsoft.termware.TermWareInstance
- remove strategy with name
name from set of strategies.
- removeSystem(Term) -
Method in class ua.gradsoft.termware.Domain
-
- removeSystem(String) -
Method in class ua.gradsoft.termware.Domain
-
- removeSystem(Term) -
Method in class ua.gradsoft.termware.TermWareInstance
- remove system with name
name from root domain.
- removeTermToBooleanConverter(Comparable) -
Method in class ua.gradsoft.termware.TypeConversion
-
- removeTermToCharConverter(Comparable) -
Method in class ua.gradsoft.termware.TypeConversion
-
- removeTermToNumberConverter(Comparable) -
Method in class ua.gradsoft.termware.TypeConversion
-
- removeTermToStringConverter(Comparable) -
Method in class ua.gradsoft.termware.TypeConversion
-
- resetFV() -
Method in class ua.gradsoft.termware.AbstractComplexTerm
-
- resolveEntity(String, String) -
Method in class ua.gradsoft.termware.parsers.xml.terms.XMLTermWareEntityResolver
-
- resolveFacts(Term) -
Method in class ua.gradsoft.termware.Domain
- resolve facts.
- resolveFacts(String) -
Method in class ua.gradsoft.termware.Domain
- resolve facts.
- resolveSystem(Term) -
Method in class ua.gradsoft.termware.Domain
- resolve system.
- resolveSystem(String) -
Method in class ua.gradsoft.termware.Domain
- resolve system with name
name
Note, that scope of system in this domain is determinatd by path.separators
- resolveSystem(Term) -
Method in class ua.gradsoft.termware.TermWareInstance
- resolve system in root domain with name
t
- resolveSystem(String) -
Method in class ua.gradsoft.termware.TermWareInstance
- resolve system in root domain with name
name
- ResourceNotFoundException - Exception in ua.gradsoft.termware.exceptions
- Throwed by TermLoader, when we can't find specified
resource with appropriative name.
- ResourceNotFoundException(String) -
Constructor for exception ua.gradsoft.termware.exceptions.ResourceNotFoundException
- Creates a new instance of ResourceNotFoundException
- result -
Variable in class ua.gradsoft.termware.debug.ConditionDebugStub
-
- result -
Variable in class ua.gradsoft.termware.debug.SubstitutionDebugStub
-
- result -
Variable in class ua.gradsoft.termware.debug.UnificationDebugStub
-
- rethrow() -
Method in exception ua.gradsoft.termware.exceptions.ExternalException
-
- rethrow() -
Method in exception ua.gradsoft.termware.TermWareRuntimeException
- rethrow holded exception
- reverseList(TermWareInstance, Term) -
Static method in class ua.gradsoft.termware.TermHelper
- reverse list
- ReverseTransformer - Class in ua.gradsoft.termware.transformers.list
- reverse list.
- RIGHT_SHIFT -
Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
-
- RULE_TEXT -
Static variable in class ua.gradsoft.termware.parsers.xml.terms.TermSAXContentHandler
-
- RuleTransformer - Class in ua.gradsoft.termware.util
- x->y
- RuleTransformer(Term) -
Constructor for class ua.gradsoft.termware.util.RuleTransformer
- create rule transformer with term
t
- run(String[]) -
Method in class ua.gradsoft.termware.CMDMain
-
- run(Term, Term) -
Method in interface ua.gradsoft.termware.util.TermBinaryFunction
-
- runConditionDebugStub(Class<? extends ConditionDebugStub>, TermSystem, Term, TransformationContext) -
Static method in class ua.gradsoft.termware.debug.DebugStubRunHelper
- run condition debug stub.
- runSetFactsDebugStub(Class<? extends SetFactsDebugStub>, TermSystem, Term, TransformationContext) -
Static method in class ua.gradsoft.termware.debug.DebugStubRunHelper
- run action debug stub.
- runSubstitutionDebugStub(Class<? extends SubstitutionDebugStub>, Term, Substitution) -
Static method in class ua.gradsoft.termware.debug.DebugStubRunHelper
- run substitution debug stub.
- RuntimeAssertException - Exception in ua.gradsoft.termware.exceptions
- runtime assert exception - runtime wrapper arround AssertException
- RuntimeAssertException(String) -
Constructor for exception ua.gradsoft.termware.exceptions.RuntimeAssertException
- Creates a new instance of
RuntimeAssertException
- RuntimeAssertException(String, Term) -
Constructor for exception ua.gradsoft.termware.exceptions.RuntimeAssertException
- Constructs an instance of
RuntimeAssertException with the specified detail message
and term as argument.
- runUnificationDebugStub(Class<? extends UnificationDebugStub>, Term, Term, Substitution) -
Static method in class ua.gradsoft.termware.debug.DebugStubRunHelper
- run unification debug stub.
name and value value .
t
s .
checkFact and setFact methods.
newMinFv
minFv(shiftFv(t))==newMinFv
t is string - transform one to length of string.
getRuleset(t) to set-term with all rules from t
s by regular expression re s
s
s
s to current term.
s to current term.
s to current term.
s to current term.
s to current term.
s to current term.
t by default System.out ,
read input from System.in and write log to System.err this and t
< rules,facts,strategy,env > where
rules - set of rewriting rules.
strategy - strategy for applying of this rules. t
t in system system with transformation context ctx
t .
t in system t is string - transform one to length of string.
t must be system definition.
t
|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||