|
|||||||||
| 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