A B C D E F G H I J K L M N O P Q R S T U V W X

A

AbstractBuildinTransformer - Class in ua.gradsoft.termware
Abstract transformer for build-in operations.
AbstractBuildinTransformer() - Constructor for class ua.gradsoft.termware.AbstractBuildinTransformer
 
AbstractComplexTerm - Class in ua.gradsoft.termware
Abstract complex term.
AbstractComplexTerm() - Constructor for class ua.gradsoft.termware.AbstractComplexTerm
 
AbstractPrettyPrinter - Class in ua.gradsoft.termware.printers
Common functionality for pretty printing.
AbstractPrettyPrinter(PrintWriter, String) - Constructor for class ua.gradsoft.termware.printers.AbstractPrettyPrinter
 
AbstractPrimitiveTerm - Class in ua.gradsoft.termware
this is abstract class for primitive term (i.
AbstractPrimitiveTerm() - Constructor for class ua.gradsoft.termware.AbstractPrimitiveTerm
 
AbstractPrinter - Class in ua.gradsoft.termware.printers
abstract class for custom term output.
AbstractPrinter(PrintWriter, String) - Constructor for class ua.gradsoft.termware.printers.AbstractPrinter
create AbstractPrinter
AbstractRuleTransformer - Class in ua.gradsoft.termware.util
 
AbstractRuleTransformer() - Constructor for class ua.gradsoft.termware.util.AbstractRuleTransformer
 
AbstractSetTerm - Class in ua.gradsoft.termware.set
set term, - subterms are elements of set, ordered in our natural order
AbstractSetTerm() - Constructor for class ua.gradsoft.termware.set.AbstractSetTerm
 
AbstractTermRewritingStrategy - Class in ua.gradsoft.termware.strategies
Base class for rewriting strategies.
AbstractTermRewritingStrategy() - Constructor for class ua.gradsoft.termware.strategies.AbstractTermRewritingStrategy
constructor
ACTION_INDEX - Static variable in interface ua.gradsoft.termware.TermWareSymbols
index for "action"
ACTION_STRING - Static variable in interface ua.gradsoft.termware.TermWareSymbols
"action"
add(ITermTransformer) - Method in class ua.gradsoft.termware.util.TransformersSet
add transformer to set
add(String, ITermTransformer) - Method in class ua.gradsoft.termware.util.TransformersStar
add transformer for name patterName
add_escapes(String) - Method in exception ua.gradsoft.termware.parsers.terms.ParseException
Used to convert raw characters to their escaped version when these raw version cannot be used as part of an ASCII string literal.
addAlreadySorted(Term) - Method in class ua.gradsoft.termware.set.SetOfTerms
precondition: assumed, that we t is greater, than any of terms in v_.
addDefault(ITermTransformer) - Method in class ua.gradsoft.termware.util.TransformersStar
add transformer for default normalizers set.
addEscapes(String) - Static method in error ua.gradsoft.termware.parsers.terms.TokenMgrError
Replaces unprintable characters by their espaced (or unicode escaped) equivalents in the given string
addFacts(String, IFacts) - Method in class ua.gradsoft.termware.Domain
add facts database with name name to domain.
addFacts(Term, IFacts) - Method in class ua.gradsoft.termware.Domain
 
addFacts(Term, IFacts) - Method in class ua.gradsoft.termware.TermWareInstance
add facts to root domain
addGeneralTransformers(TermSystem) - Static method in class ua.gradsoft.termware.TermWare
add transformers from general system.
addGenSysTransformers(TermSystem) - Static method in class ua.gradsoft.termware.TermWare
add gensys transformers to system system
addJavaFacts(String, IFacts) - Method in class ua.gradsoft.termware.TermWareInstance
add facts to root domain.
addJavaStrategy(String, String) - Method in class ua.gradsoft.termware.TermWareInstance
add strategy with name name and implementation class className
addListTransformers(TermSystem) - Static method in class ua.gradsoft.termware.TermWare
 
addLocation(String, SourceCodeLocation) - Method in class ua.gradsoft.termware.debug.DebugStubCompilationFileManager
 
addNormalizer(String, ITermTransformer) - Method in class ua.gradsoft.termware.TermSystem
add normalizer transformer for terms with name termName
addObjectToNumberConverter(Class, TypeConversion.ObjectToNumber) - Method in class ua.gradsoft.termware.TypeConversion
 
addObjectToStringConverter(Class, TypeConversion.ObjectToString) - Method in class ua.gradsoft.termware.TypeConversion
 
addObjectToTermConverter(Class, TypeConversion.ObjectToTerm) - Method in class ua.gradsoft.termware.TypeConversion
 
addParserFactory(String, IParserFactory) - Method in class ua.gradsoft.termware.TermWareInstance
add parser for language language-name defined by interface IParser.
addPrinterFactory(String, IPrinterFactory) - Method in class ua.gradsoft.termware.TermWareInstance
add printer for language language-name defined by interface IPrinter
addRule(Term) - Method in class ua.gradsoft.termware.TermSystem
add rule t to system with default priority.
addRule(String) - Method in class ua.gradsoft.termware.TermSystem
add rule s to system.
addRule(Term) - Method in class ua.gradsoft.termware.util.TransformersStar
add rule rule .
addRuleset(Domain, TermSystem, Term) - Method in class ua.gradsoft.termware.TermWareInstance
add ruleset ruleset to system system in domain d .
addSearchPath(String) - Method in class ua.gradsoft.termware.TermLoader
add search path
addSearchPath(String) - Method in class ua.gradsoft.termware.termloaders.ClassPathTermLoader
do nothing
addSearchPath(String) - Method in class ua.gradsoft.termware.termloaders.FileOrClassTermLoader
 
addSearchPath(String) - Method in class ua.gradsoft.termware.termloaders.FileSystemTermLoader
 
addSourceTerm(String, Term) - Method in class ua.gradsoft.termware.debug.DebugStubCompilationFileManager
 
addStringTransformers(TermSystem) - Static method in class ua.gradsoft.termware.TermWare
 
addSystem(String, TermSystem) - Method in class ua.gradsoft.termware.Domain
 
addSystem(Term, TermSystem) - Method in class ua.gradsoft.termware.Domain
 
addSystem(Term, TermSystem) - Method in class ua.gradsoft.termware.TermWareInstance
add system system with name name to root domain.
addSystem(String, TermSystem) - Method in class ua.gradsoft.termware.TermWareInstance
add system system with name name to root domain.
addTermToBooleanConverter(Comparable, TypeConversion.TermToBoolean) - Method in class ua.gradsoft.termware.TypeConversion
 
addTermToCharConverter(Comparable, TypeConversion.TermToChar) - Method in class ua.gradsoft.termware.TypeConversion
 
addTermToNumberConverter(Comparable, TypeConversion.TermToNumber) - Method in class ua.gradsoft.termware.TypeConversion
 
addTermToStringConverter(Comparable, TypeConversion.TermToString) - Method in class ua.gradsoft.termware.TypeConversion
 
adjustBeginLineColumn(int, int) - Method in class ua.gradsoft.termware.parsers.terms.JavaCharStream
Method to adjust line and column numbers for the start of a token.
AdjustBuffSize() - Method in class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
adopt(Object) - Method in class ua.gradsoft.termware.TypeConversion
adopt object to term use default rules and custom converters.
adopt(Term) - Method in class ua.gradsoft.termware.TypeConversion
 
adopt(byte) - Method in class ua.gradsoft.termware.TypeConversion
 
adopt(double) - Method in class ua.gradsoft.termware.TypeConversion
 
adopt(float) - Method in class ua.gradsoft.termware.TypeConversion
 
adopt(int) - Method in class ua.gradsoft.termware.TypeConversion
 
adopt(long) - Method in class ua.gradsoft.termware.TypeConversion
 
adopt(short) - Method in class ua.gradsoft.termware.TypeConversion
 
adopt(boolean) - Method in class ua.gradsoft.termware.TypeConversion
 
adoptArray(Object[]) - Method in class ua.gradsoft.termware.TypeConversion
 
adoptArray(Object[], int, Term) - Method in class ua.gradsoft.termware.TypeConversion
 
adoptName(String, boolean) - Method in class ua.gradsoft.termware.SymbolTable
find name in symbol table and return entry.
APIGen - Class in ua.gradsoft.termware
Generator of HTML Help API for TermWare systems.
append(Term, Term, TermSystem) - Static method in class ua.gradsoft.termware.transformers.list.ListAppendTransformer
 
apply(Term) - Method in class ua.gradsoft.termware.TermSystem
apply system to term x.
apply(String) - Method in class ua.gradsoft.termware.TermSystem
synonim of appply(ITermFactory.createParsedTerm(x))
apply(String, SourceCodeLocation) - Method in class ua.gradsoft.termware.TermSystem
synonim of appply(ITermFactory.createParsedTerm(x,scl))
ApplyTransformer - Class in ua.gradsoft.termware.transformers.general
Transformer for 'apply'.
ARGS_DOTS - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
ARGS_PATTERN_INDEX - Static variable in interface ua.gradsoft.termware.TermWareSymbols
index for "args_pattern"
ARGS_PATTERN_STRING - Static variable in interface ua.gradsoft.termware.TermWareSymbols
"args_pattern"
ArgsPatternTerm - Class in ua.gradsoft.termware
This term is used for unification of subterms of compired term to list.
ArityTransformer - Class in ua.gradsoft.termware.transformers.general
arity transformer arity(t(x1 ..
AssertException - Exception in ua.gradsoft.termware.exceptions
Exception, thrown in 'incorrect' situation.
AssertException(String) - Constructor for exception ua.gradsoft.termware.exceptions.AssertException
Constructs an instance of AssertException with the specified detail message.
AssertException(String, Exception) - Constructor for exception ua.gradsoft.termware.exceptions.AssertException
Constructs an instance of AssertException with the specified detail message.
AssertException(String, Term) - Constructor for exception ua.gradsoft.termware.exceptions.AssertException
Constructs an instance of AssertException with the specified detail message.
AssignTransformer - Class in ua.gradsoft.termware.transformers.facts
Assign - assigment.
AssignTransformer() - Constructor for class ua.gradsoft.termware.transformers.facts.AssignTransformer
 
ATOM - Static variable in class ua.gradsoft.termware.PrimaryTypes
 
AtomTerm - Class in ua.gradsoft.termware
Term, which represent atom.
Attributed - Interface in ua.gradsoft.termware
Interface for entities, which can holds attributes.
AttributedTerm - Class in ua.gradsoft.termware
Term with attributes.
AttributedTerm(Term, Map<String, Term>) - Constructor for class ua.gradsoft.termware.AttributedTerm
 
AttributedTerm(Term) - Constructor for class ua.gradsoft.termware.AttributedTerm
 
attributeTree(Term, String, Term, TermCondition) - Static method in class ua.gradsoft.termware.TermHelper
attribute tree: i.e.

B

backup(int) - Method in class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
beginColumn - Variable in class ua.gradsoft.termware.parsers.terms.Token
beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.
beginLine - Variable in class ua.gradsoft.termware.parsers.terms.Token
beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.
BeginToken() - Method in class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
BIG_DECIMAL - Static variable in class ua.gradsoft.termware.PrimaryTypes
 
BIG_INTEGER - Static variable in class ua.gradsoft.termware.PrimaryTypes
 
BigDecimalTerm - Class in ua.gradsoft.termware
Term, which represend BigDecimal value.
BigDecimalTerm(BigDecimal) - Constructor for class ua.gradsoft.termware.BigDecimalTerm
create new instanse of BigDecimalTerm
BigIntegerTerm - Class in ua.gradsoft.termware
Term, which represend value with java.math.BigInteger semantics.
BIT_AND - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
BIT_NEGATE - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
BIT_OR - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
BOOLEAN - Static variable in class ua.gradsoft.termware.PrimaryTypes
 
BooleanTerm - Class in ua.gradsoft.termware
Term for representation of boolean value.
boundEquals(Term) - Method in class ua.gradsoft.termware.AbstractComplexTerm
 
boundEquals(Term) - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
boundEquals(Term) - Method in class ua.gradsoft.termware.AttributedTerm
 
boundEquals(Term) - Method in class ua.gradsoft.termware.jj.NodeTerm
 
boundEquals(Term) - Method in class ua.gradsoft.termware.JTerm
equality, when propositional variables are already bounded.
boundEquals(Term) - Method in class ua.gradsoft.termware.set.SetPatternTerm
 
boundEquals(Term) - Method in class ua.gradsoft.termware.Term
equality, when propositional variables are already bounded.
boundEquals(Term) - Method in class ua.gradsoft.termware.XTerm
 
boundUnify(Term, Substitution) - Method in class ua.gradsoft.termware.AbstractComplexTerm
 
boundUnify(Term, Substitution) - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
bound unification.
boundUnify(Term, Substitution) - Method in class ua.gradsoft.termware.ArgsPatternTerm
 
boundUnify(Term, Substitution) - Method in class ua.gradsoft.termware.AttributedTerm
 
boundUnify(Term, Substitution) - Method in class ua.gradsoft.termware.ClassPatternTerm
unification of this and t via substitution s, whith bound propositional variables.
boundUnify(Term, Substitution) - Method in class ua.gradsoft.termware.jj.NodeTerm
 
boundUnify(Term, Substitution) - Method in class ua.gradsoft.termware.JTerm
unification when we already have s and when same propositional variables means same things
boundUnify(Term, Substitution) - Method in class ua.gradsoft.termware.set.SetPatternTerm
 
boundUnify(Term, Substitution) - Method in class ua.gradsoft.termware.Term
unification when we already have s and when same propositional variables means same things
boundUnify(Term, Substitution) - Method in class ua.gradsoft.termware.XTerm
unification when we already have s
BTStrategy - Class in ua.gradsoft.termware.strategies
Strategy, which at first try to maximum evaluate subexpressions, than - expression.
BTStrategy() - Constructor for class ua.gradsoft.termware.strategies.BTStrategy
 
bufcolumn - Variable in class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
buffer - Variable in class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
bufline - Variable in class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
bufpos - Variable in class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
BYTE - Static variable in class ua.gradsoft.termware.PrimaryTypes
 
BytecodeOutputFileObject - Class in ua.gradsoft.termware.debug
FileObject for in-memory compilation
BytecodeOutputFileObject(String) - Constructor for class ua.gradsoft.termware.debug.BytecodeOutputFileObject
Creates a new instance of BytecodeOutputFileObject
ByteTerm - Class in ua.gradsoft.termware
Term, which represend byte value with java 'byte' semantics.

C

CHAR - Static variable in class ua.gradsoft.termware.PrimaryTypes
 
characters(char[], int, int) - Method in class ua.gradsoft.termware.parsers.xml.terms.TermSAXContentHandler
 
CharTerm - Class in ua.gradsoft.termware
Term which contains char.
check(Term, TransformationContext) - Method in class ua.gradsoft.termware.DefaultFacts
Check term t.
check(Term, TransformationContext) - Method in interface ua.gradsoft.termware.IFacts
check fact (called from conditions in left part of rules)
check(Term, TransformationContext) - Method in class ua.gradsoft.termware.NullFacts
 
check(Term) - Method in interface ua.gradsoft.termware.util.TermCondition
if term t satisficy condition.
checkFact(Term, TransformationContext) - Method in class ua.gradsoft.termware.TermSystem
check fact t in associated facts database.
checkFact(String) - Method in class ua.gradsoft.termware.TermSystem
synonim of checkFact(ITermFactory.createParsedTerm(x))
checkLoggedEntity(String) - Method in class ua.gradsoft.termware.TermSystem
 
CLASS_PATTERN_INDEX - Static variable in interface ua.gradsoft.termware.TermWareSymbols
index for "@class"
CLASS_PATTERN_STRING - Static variable in interface ua.gradsoft.termware.TermWareSymbols
"@class"
ClassPathTermLoader - Class in ua.gradsoft.termware.termloaders
TermLoader, which load terms from current classpath.
ClassPathTermLoader() - Constructor for class ua.gradsoft.termware.termloaders.ClassPathTermLoader
Creates a new instance of ClassPathTermLoader
ClassPatternTerm - Class in ua.gradsoft.termware
Term for class pattern.
clear() - Method in class ua.gradsoft.termware.Substitution
 
clearLoggedEntities() - Method in class ua.gradsoft.termware.DefaultFacts
 
clearLoggedEntities() - Method in interface ua.gradsoft.termware.IFacts
clear entities to log
clearLoggedEntities() - Method in class ua.gradsoft.termware.NullFacts
do nothing.
clearLoggedEntities() - Method in class ua.gradsoft.termware.TermSystem
 
clone() - Method in class ua.gradsoft.termware.AbstractComplexTerm
 
clone() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
clone() - Method in class ua.gradsoft.termware.Substitution
 
cloneSubstitution() - Method in class ua.gradsoft.termware.Substitution
 
CloneTransformer - Class in ua.gradsoft.termware.transformers.general
Transformer, which clone current term.
close() - Method in class ua.gradsoft.termware.envs.SystemEnv
flush output and error stream
close() - Method in class ua.gradsoft.termware.envs.SystemLogEnv
 
close() - Method in interface ua.gradsoft.termware.IEnv
called before shutown of term system
CMDMain - Class in ua.gradsoft.termware
Command line TermWare interpeter.
CMDMain() - Constructor for class ua.gradsoft.termware.CMDMain
 
column - Variable in class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
COMMA - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
compareNameIndexes(Object, Object) - Static method in class ua.gradsoft.termware.TermHelper
 
compile(Reader) - Method in class ua.gradsoft.termware.jsr223.TermWareScriptEngine
 
compile(String) - Method in class ua.gradsoft.termware.jsr223.TermWareScriptEngine
 
COMPLEX_TERM - Static variable in class ua.gradsoft.termware.PrimaryTypes
 
ComplexTerm - Class in ua.gradsoft.termware
Generic complex term (i.
ComplexTerm(Name, Term[], boolean) - Constructor for class ua.gradsoft.termware.ComplexTerm
 
concreteOrder(Term, Substitution) - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
concreteOrder(Term, Substitution) - Method in class ua.gradsoft.termware.ArgsPatternTerm
 
concreteOrder(Term, Substitution) - Method in class ua.gradsoft.termware.AtomTerm
 
concreteOrder(Term, Substitution) - Method in class ua.gradsoft.termware.AttributedTerm
 
concreteOrder(Term, Substitution) - Method in class ua.gradsoft.termware.ClassPatternTerm
 
concreteOrder(Term, Substitution) - Method in class ua.gradsoft.termware.ComplexTerm
 
concreteOrder(Term, Substitution) - Method in class ua.gradsoft.termware.jj.NodeTerm
 
concreteOrder(Term, Substitution) - Method in class ua.gradsoft.termware.JTerm
 
concreteOrder(Term, Substitution) - Method in class ua.gradsoft.termware.ListInArrayTerm
 
concreteOrder(Term, Substitution) - Method in class ua.gradsoft.termware.ListTerm
 
concreteOrder(Term, Substitution) - Method in class ua.gradsoft.termware.set.AbstractSetTerm
 
concreteOrder(Term, Substitution) - Method in class ua.gradsoft.termware.set.SetPatternTerm
 
concreteOrder(Term, Substitution) - Method in class ua.gradsoft.termware.Term
compare for 'more concrete' relation.
concreteOrder(Term, Substitution) - Method in class ua.gradsoft.termware.XTerm
return result of 'concreteOrder' comparison with x.
condition - Variable in class ua.gradsoft.termware.debug.ConditionDebugStub
 
ConditionalRuleTransformer - Class in ua.gradsoft.termware.util
Transformer for if_rule (i.
ConditionalRuleTransformer(Term) - Constructor for class ua.gradsoft.termware.util.ConditionalRuleTransformer
 
ConditionDebugStub - Class in ua.gradsoft.termware.debug
 
ConditionDebugStub(TermSystem, Term, TransformationContext) - Constructor for class ua.gradsoft.termware.debug.ConditionDebugStub
Creates a new instance of ConditionDebugStub
ConditionDebugStubJavaSourceObject - Class in ua.gradsoft.termware.debug
Source Java Object for condition.
ConditionDebugStubJavaSourceObject(String, String, String, SourceCodeLocation) - Constructor for class ua.gradsoft.termware.debug.ConditionDebugStubJavaSourceObject
 
CONS_INDEX - Static variable in interface ua.gradsoft.termware.TermWareSymbols
index for "CONS"
CONS_STRING - Static variable in interface ua.gradsoft.termware.TermWareSymbols
"cons"
containsSubtermBoundEqualsTo(Term) - Method in class ua.gradsoft.termware.Term
 
contents_ - Variable in class ua.gradsoft.termware.debug.DebugStubJavaSourceObject
Java source, which we generate.
ConversionException - Exception in ua.gradsoft.termware.exceptions
Conversion is throwed, on type mismatch when we call TypeConversion method on term of inconvertable type.
ConversionException(Object, Class, Class, String) - Constructor for exception ua.gradsoft.termware.exceptions.ConversionException
 
convert(Object, TermWareInstance) - Method in class ua.gradsoft.termware.TypeConversion.ObjectToNumber
convert t to number
convert(Object, TermWareInstance) - Method in class ua.gradsoft.termware.TypeConversion.ObjectToString
convert t to string
convert(Object, TermWareInstance) - Method in class ua.gradsoft.termware.TypeConversion.ObjectToTerm
convert object to term
convert(Term, TermWareInstance) - Method in class ua.gradsoft.termware.TypeConversion.TermToBoolean
convert t to boolean
convert(Term, TermWareInstance) - Method in class ua.gradsoft.termware.TypeConversion.TermToChar
convert t to boolean
convert(Term, TermWareInstance) - Method in class ua.gradsoft.termware.TypeConversion.TermToNumber
convert t to number
convert(Term, TermWareInstance) - Method in class ua.gradsoft.termware.TypeConversion.TermToObject
convert t to object
convert(Term, TermWareInstance) - Method in class ua.gradsoft.termware.TypeConversion.TermToObjectArray
 
convert(Term, TermWareInstance) - Method in class ua.gradsoft.termware.TypeConversion.TermToString
convert t to string
copyAttributes(Term, Term) - Static method in class ua.gradsoft.termware.TermHelper
copy attributes from src term to dst term
copyright(PrintStream) - Static method in class ua.gradsoft.termware.CMDMain
 
createArgsPatternTerm(Term, Term) - Static method in class ua.gradsoft.termware.ArgsPatternTerm
 
createArgsPatternTerm(Term, Term) - Method in class ua.gradsoft.termware.TermFactory
create args-pattern term f..($x)
createAtom(String) - Method in class ua.gradsoft.termware.TermFactory
 
createBegin(PrettyPrintingBreakType, int, int) - Static method in class ua.gradsoft.termware.printers.PrettyPrintingToken
 
createBigDecimal(BigDecimal) - Static method in class ua.gradsoft.termware.TermFactory
 
createBigInteger(BigInteger) - Static method in class ua.gradsoft.termware.TermFactory
 
createBindings() - Method in class ua.gradsoft.termware.jsr223.TermWareScriptEngine
 
createBoolean(boolean) - Static method in class ua.gradsoft.termware.TermFactory
 
createBreak(PrettyPrintingBreakType, int, int) - Static method in class ua.gradsoft.termware.printers.PrettyPrintingToken
 
createByte(byte) - Method in class ua.gradsoft.termware.TermFactory
 
createChar(char) - Static method in class ua.gradsoft.termware.TermFactory
 
createClassPatternTerm(String, Term) - Static method in class ua.gradsoft.termware.ClassPatternTerm
 
createClassPatternTerm(Term, Term) - Static method in class ua.gradsoft.termware.ClassPatternTerm
 
createClassPatternTerm(String, Term) - Method in class ua.gradsoft.termware.TermFactory
 
createComplexTerm(String, Term[]) - Method in class ua.gradsoft.termware.TermFactory
return Term with name name and body body
createComplexTerm(Name, Term[]) - Method in class ua.gradsoft.termware.TermFactory
 
createComplexTerm0(String) - Method in class ua.gradsoft.termware.TermFactory
 
createConsTerm(Term, Term) - Method in class ua.gradsoft.termware.TermFactory
 
createDouble(double) - Static method in class ua.gradsoft.termware.TermFactory
create double term with value value
createEnd(PrettyPrintingBreakType, int, int) - Static method in class ua.gradsoft.termware.printers.PrettyPrintingToken
 
createEof() - Static method in class ua.gradsoft.termware.printers.PrettyPrintingToken
 
createFloat(float) - Static method in class ua.gradsoft.termware.TermFactory
 
createInt(int) - Static method in class ua.gradsoft.termware.TermFactory
 
createJTerm(Object) - Static method in class ua.gradsoft.termware.TermFactory
return Term wrapper arroutnd java.lang.Object
createList(Term[]) - Method in class ua.gradsoft.termware.TermFactory
create list [i.
createList(List) - Method in class ua.gradsoft.termware.TermFactory
create list [i.
createListInArray(Term[], int) - Method in class ua.gradsoft.termware.TermFactory
 
createLong(long) - Static method in class ua.gradsoft.termware.TermFactory
 
createNewInstance() - Static method in class ua.gradsoft.termware.TermWare
 
createNIL() - Static method in class ua.gradsoft.termware.TermFactory
 
createNil() - Static method in class ua.gradsoft.termware.TermFactory
 
createParsedTerm(String) - Method in class ua.gradsoft.termware.TermFactory
 
createParsedTerm(String, SourceCodeLocation) - Method in class ua.gradsoft.termware.TermFactory
 
createParser(Reader, String, Term, TermWareInstance) - Method in interface ua.gradsoft.termware.IParserFactory
create parser object.
createParser(Reader, String, Term, TermWareInstance) - Method in class ua.gradsoft.termware.parsers.terms.util.TermParserFactory
 
createParser(Reader, String, Term, TermWareInstance) - Method in class ua.gradsoft.termware.parsers.xml.terms.XMLTermParserFactory
create parser object.
createPrettyPrinter(PrintWriter, String, TermSystem, Term) - Method in interface ua.gradsoft.termware.IPrettyPrinterFactory
create printer object.
createPrinter(PrintWriter, String, TermSystem, Term) - Method in interface ua.gradsoft.termware.IPrinterFactory
create printer object.
createPrinter(PrintWriter, String, TermSystem, Term) - Method in class ua.gradsoft.termware.printers.terms.TermWarePrinterFactory
create printer.
createSame(Term[]) - Method in class ua.gradsoft.termware.AbstractComplexTerm
 
createSame(Term[]) - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
createSame(Term[]) - Method in class ua.gradsoft.termware.ArgsPatternTerm
 
createSame(Term[]) - Method in class ua.gradsoft.termware.AttributedTerm
 
createSame(Term[]) - Method in class ua.gradsoft.termware.ClassPatternTerm
 
createSame(Term[]) - Method in class ua.gradsoft.termware.ComplexTerm
 
createSame(Term[]) - Method in class ua.gradsoft.termware.jj.NodeTerm
 
createSame(Term[]) - Method in class ua.gradsoft.termware.JTerm
 
createSame(Term[]) - Method in class ua.gradsoft.termware.ListInArrayTerm
 
createSame(Term[]) - Method in class ua.gradsoft.termware.ListTerm
 
createSame(Term[]) - Method in class ua.gradsoft.termware.set.AbstractSetTerm
 
createSame(Term[]) - Method in class ua.gradsoft.termware.set.SetPatternTerm
 
createSame(Term[]) - Method in class ua.gradsoft.termware.set.SetTerm
 
createSame(Term[]) - Method in class ua.gradsoft.termware.Term
create term, with same name but new body.
createSame(Term[]) - Method in class ua.gradsoft.termware.XTerm
 
createSetPattern(Term, Term) - Static method in class ua.gradsoft.termware.set.SetPatternTerm
return new set pattern.
createSetPattern(Term, Term) - Method in class ua.gradsoft.termware.TermFactory
create set-pattern ter, { x1 : x2 }
createSetPatternTerm(Term, Term) - Method in class ua.gradsoft.termware.TermFactory
create set-pattern term { x1 : x2 }
createSetTerm() - Method in class ua.gradsoft.termware.TermFactory
 
createSetTerm(SetOfTerms) - Method in class ua.gradsoft.termware.TermFactory
 
createShort(short) - Static method in class ua.gradsoft.termware.TermFactory
 
createStrategyByName(String) - Method in class ua.gradsoft.termware.TermWareInstance
create instance of strategy with name name (instantiente appropriative class, defined by TermWareaddJavaStrategy(name,name).
createString(String) - Static method in class ua.gradsoft.termware.printers.PrettyPrintingToken
 
createString(String) - Static method in class ua.gradsoft.termware.TermFactory
 
createTerm(boolean) - Method in class ua.gradsoft.termware.TermFactory
 
createTerm(byte) - Method in class ua.gradsoft.termware.TermFactory
 
createTerm(String, Term[]) - Method in class ua.gradsoft.termware.TermFactory
The same as createComplexTerm
createTerm(String, String[]) - Method in class ua.gradsoft.termware.TermFactory
return complex term, where subterms are atoms with names from stringBody
createTerm(String, Term) - Method in class ua.gradsoft.termware.TermFactory
 
createTerm(String, Term, Term) - Method in class ua.gradsoft.termware.TermFactory
create term name(x1,x2)
createTerm(String, Term, Term, Term) - Method in class ua.gradsoft.termware.TermFactory
 
createTerm(String, String, Term) - Method in class ua.gradsoft.termware.TermFactory
create term 'name(x1,x2)', transforming x1 to string term.
createTerm(String, Term, Term, Term, Term) - Method in class ua.gradsoft.termware.TermFactory
 
createTerm(String, String) - Method in class ua.gradsoft.termware.TermFactory
Syntax sugar: equal to createTerm(name,ITermFactory.createString(s))
createTerm(String, int) - Method in class ua.gradsoft.termware.TermFactory
Syntax sugar: equal to createTerm(name,ITermFactory.createInt(v),useIndexedNames)
createTerm(String, int, int) - Method in class ua.gradsoft.termware.TermFactory
create term with 2 integer subterms.
createX(int) - Static method in class ua.gradsoft.termware.TermFactory
create propositional variable with index x.
curChar - Variable in class ua.gradsoft.termware.parsers.terms.TermReaderTokenManager
 
currentToken - Variable in exception ua.gradsoft.termware.parsers.terms.ParseException
This is the last token that has been consumed successfully.

D

debugStream - Variable in class ua.gradsoft.termware.parsers.terms.TermReaderTokenManager
 
DebugStubClassLoader - Class in ua.gradsoft.termware.debug
Class loader for compiled debug stubs.
DebugStubClassLoader(String, byte[]) - Constructor for class ua.gradsoft.termware.debug.DebugStubClassLoader
Creates a new instance of DebugStubClassLoader
DebugStubCompilationFileManager - Class in ua.gradsoft.termware.debug
Implementation of debug file manager, which keep on-line created in-memory input and in-memory output.
DebugStubCompilationFileManager(JavaFileManager) - Constructor for class ua.gradsoft.termware.debug.DebugStubCompilationFileManager
Creates a new instance of DebugStubCompilationFileManager
DebugStubGenerator - Class in ua.gradsoft.termware.debug
Generate debug stubs.
DebugStubGenerator(TermWareInstance) - Constructor for class ua.gradsoft.termware.debug.DebugStubGenerator
Creates a new instance of DebugStubGenerator
DebugStubJavaSourceObject - Class in ua.gradsoft.termware.debug
Base class for debug stubs.
DebugStubJavaSourceObject(String, String, String) - Constructor for class ua.gradsoft.termware.debug.DebugStubJavaSourceObject
Creates a new instance of DebugStubJavaSourceObject
DebugStubRunHelper - Class in ua.gradsoft.termware.debug
Helper class to run debug stub.
DebugStubRunHelper() - Constructor for class ua.gradsoft.termware.debug.DebugStubRunHelper
 
DebugStubTypeTraits - Enum in ua.gradsoft.termware.debug
Traits of debug stub.
deduceFileAndLine(int) - Static method in class ua.gradsoft.termware.debug.JavaCompiledFileAndLine
 
deduceFileAndLine(StackTraceElement) - Static method in class ua.gradsoft.termware.debug.JavaCompiledFileAndLine
 
DEFAULT - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
DEFAULT_LINE_WIDTH - Static variable in class ua.gradsoft.termware.printers.PrettyPrintWriter
 
DefaultFacts - Class in ua.gradsoft.termware
this is Facts database, which accept next types of terms: sys Terms (i.
DefaultFacts() - Constructor for class ua.gradsoft.termware.DefaultFacts
 
DefaultFacts(String) - Constructor for class ua.gradsoft.termware.DefaultFacts
 
DefaultFacts.MethodTransformer - Class in ua.gradsoft.termware
Transformer, wrapped arround method.
DefaultFacts.MethodTransformer(DefaultFacts, Method) - Constructor for class ua.gradsoft.termware.DefaultFacts.MethodTransformer
 
disable_tracing() - Method in class ua.gradsoft.termware.parsers.terms.TermReader
 
dispath(Term, Term) - Method in interface ua.gradsoft.termware.util.TermBinaryDispath
 
DIVIDE - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
DivideTransformer - Class in ua.gradsoft.termware.transformers.general
ariphmetics division.
DivideTransformer() - Constructor for class ua.gradsoft.termware.transformers.general.DivideTransformer
 
doDispath(TermBinaryDispath, Term, Term, Term) - Static method in class ua.gradsoft.termware.util.TermBinaryDispathHelper
 
Domain - Class in ua.gradsoft.termware
Domain - hierarchical placement of Term Systems and Facts
DOMAIN - Static variable in class ua.gradsoft.termware.parsers.xml.terms.TermSAXContentHandler
 
DomainTransformer - Class in ua.gradsoft.termware.transformers.sys
Transformer for implementing domain statement.
DomainTransformer() - Constructor for class ua.gradsoft.termware.transformers.sys.DomainTransformer
 
Done() - Method in class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
DOT - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
DOUBLE - Static variable in class ua.gradsoft.termware.PrimaryTypes
 
DOUBLE_LITERAL - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
DoubleTerm - Class in ua.gradsoft.termware
Term, which represend floating point value with java 'double' semantics.

E

empty() - Method in class ua.gradsoft.termware.util.FVSet
 
EMPTY_TERM_ARRAY - Static variable in class ua.gradsoft.termware.TermWare
 
emptyFv() - Method in class ua.gradsoft.termware.AbstractComplexTerm
 
emptyFv() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
emptyFv() - Method in class ua.gradsoft.termware.AttributedTerm
 
emptyFv() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
emptyFv() - Method in class ua.gradsoft.termware.JTerm
 
emptyFv() - Method in class ua.gradsoft.termware.set.SetPatternTerm
 
emptyFv() - Method in class ua.gradsoft.termware.Term
true, if term does not contains free propositional variables.
emptyFv() - Method in class ua.gradsoft.termware.XTerm
 
emptyFv_ - Variable in class ua.gradsoft.termware.AbstractComplexTerm
 
EmptyIterator<X> - Class in ua.gradsoft.termware.util
Singleton for empty iterator
EmptyTransformerIterator - Class in ua.gradsoft.termware.util
Empty transformer iterator
EmptyTransformerIterator() - Constructor for class ua.gradsoft.termware.util.EmptyTransformerIterator
 
enable_tracing() - Method in class ua.gradsoft.termware.parsers.terms.TermReader
 
endColumn - Variable in class ua.gradsoft.termware.parsers.terms.Token
beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.
endDocument() - Method in class ua.gradsoft.termware.parsers.xml.terms.TermSAXContentHandler
 
endElement(String, String, String) - Method in class ua.gradsoft.termware.parsers.xml.terms.TermSAXContentHandler
 
endLine - Variable in class ua.gradsoft.termware.parsers.terms.Token
beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.
EnvException - Exception in ua.gradsoft.termware.exceptions
Exception, throwed in situation, depends from environment.
EnvException(String) - Constructor for exception ua.gradsoft.termware.exceptions.EnvException
 
eof() - Method in interface ua.gradsoft.termware.IParser
 
EOF - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
eof() - Method in class ua.gradsoft.termware.parsers.terms.util.TermParser
 
eof() - Method in class ua.gradsoft.termware.parsers.xml.terms.XMLTermParser
 
eofReached() - Method in class ua.gradsoft.termware.parsers.terms.TermReader
 
eol - Variable in exception ua.gradsoft.termware.parsers.terms.ParseException
The end of line string for this machine.
eq(Term) - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
eq(Term) - Method in class ua.gradsoft.termware.AtomTerm
check for equality.
eq(Term) - Method in class ua.gradsoft.termware.BigDecimalTerm
are term logically stricly equal to x ?
eq(Term) - Method in class ua.gradsoft.termware.BigIntegerTerm
are term logically stricly equal to x ? Type conversions are not performed.
eq(Term) - Method in class ua.gradsoft.termware.BooleanTerm
 
eq(Term) - Method in class ua.gradsoft.termware.ByteTerm
are term logically equal to t ?
eq(Term) - Method in class ua.gradsoft.termware.CharTerm
are term logically equals to x ?
eq(Term) - Method in class ua.gradsoft.termware.DoubleTerm
are term logically equal to x
eq(Term) - Method in class ua.gradsoft.termware.FloatTerm
are term logically equal to t ?
eq(Term) - Method in class ua.gradsoft.termware.IntTerm
 
eq(Term) - Method in class ua.gradsoft.termware.LongTerm
are term logically equal to t ?
eq(Term) - Method in class ua.gradsoft.termware.NILTerm
 
EQ - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
eq(Term) - Method in class ua.gradsoft.termware.ShortTerm
are term logically equal to t ?
eq(Term) - Method in class ua.gradsoft.termware.StringTerm
are term logically equals to x ?
EQ_GREATER - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
EqTransformer - Class in ua.gradsoft.termware.transformers.general
Transformer for not equal
EqTransformer() - Constructor for class ua.gradsoft.termware.transformers.general.EqTransformer
 
escapeX(Term) - Static method in class ua.gradsoft.termware.TermHelper
change $x entites to _x(minFv($x)).
eval(Reader, ScriptContext) - Method in class ua.gradsoft.termware.jsr223.TermWareScriptEngine
 
eval(String, ScriptContext) - Method in class ua.gradsoft.termware.jsr223.TermWareScriptEngine
 
ExpandBuff(boolean) - Method in class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
expectedTokenSequences - Variable in exception ua.gradsoft.termware.parsers.terms.ParseException
Each entry in this array is an array of integers.
EXPONENT - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
ExternalException - Exception in ua.gradsoft.termware.exceptions
Wrapper for external exception
ExternalException(Exception) - Constructor for exception ua.gradsoft.termware.exceptions.ExternalException
Creates a new instance of ExternalException.
ExternalException(String, Exception) - Constructor for exception ua.gradsoft.termware.exceptions.ExternalException
Creates a new instance of ExternalException.

F

FALSE - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
FFRS - Variable in class ua.gradsoft.termware.util.TermBinaryDispathHelper
 
FileInputStreamSource - Class in ua.gradsoft.termware.termloaders
Input stream source for file system.
FileInputStreamSource(File, String) - Constructor for class ua.gradsoft.termware.termloaders.FileInputStreamSource
Creates a new instance of FileInputStreamSource
FileOrClassTermLoader - Class in ua.gradsoft.termware.termloaders
TermLoader, which search at first in file system, if not found -- in currenct classpath.
FileOrClassTermLoader() - Constructor for class ua.gradsoft.termware.termloaders.FileOrClassTermLoader
Creates a new instance of FileOrClassTermLoader
FileSystemTermLoader - Class in ua.gradsoft.termware.termloaders
Loader for terms from file system.
FillBuff() - Method in class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
finalize() - Method in class ua.gradsoft.termware.printers.AbstractPrettyPrinter
 
findBoundUnifyIndex(Term, Substitution) - Method in class ua.gradsoft.termware.set.AbstractSetTerm
return first index, which matched term t or throw MatchingFailure.
findClass(String) - Method in class ua.gradsoft.termware.debug.DebugStubClassLoader
 
findClassMethodByNameAndArity(Class, String, int) - Static method in class ua.gradsoft.termware.util.JavaLangReflectHelper
find method in class objectClass or it superclass with given name and arity.
findSubtermBoundEqualsTo(Term) - Method in class ua.gradsoft.termware.set.AbstractSetTerm
 
findSubtermIndexBoundEqualsTo(Term) - Method in class ua.gradsoft.termware.AbstractComplexTerm
 
findSubtermIndexBoundEqualsTo(Term) - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
findSubtermIndexBoundEqualsTo(Term) - Method in class ua.gradsoft.termware.AttributedTerm
 
findSubtermIndexBoundEqualsTo(Term) - Method in class ua.gradsoft.termware.ClassPatternTerm
 
findSubtermIndexBoundEqualsTo(Term) - Method in class ua.gradsoft.termware.jj.NodeTerm
 
findSubtermIndexBoundEqualsTo(Term) - Method in class ua.gradsoft.termware.JTerm
 
findSubtermIndexBoundEqualsTo(Term) - Method in class ua.gradsoft.termware.Term
 
findSubtermIndexBoundEqualsTo(Term) - Method in class ua.gradsoft.termware.XTerm
 
FirstTopStrategy - Class in ua.gradsoft.termware.strategies
FirstTop
FirstTopStrategy() - Constructor for class ua.gradsoft.termware.strategies.FirstTopStrategy
 
FLOAT - Static variable in class ua.gradsoft.termware.PrimaryTypes
 
FloatTerm - Class in ua.gradsoft.termware
Term, which represend floating point value with java 'float' semantics.
FloatTerm(float) - Constructor for class ua.gradsoft.termware.FloatTerm
create new instanse of FloatTerm
flush() - Method in interface ua.gradsoft.termware.IPrinter
flush all internal IPrinter structures.
flush() - Method in class ua.gradsoft.termware.printers.PrettyPrintWriter
 
flush() - Method in class ua.gradsoft.termware.printers.terms.TermWarePrinter
 
FNIL - Variable in class ua.gradsoft.termware.util.TermBinaryDispathHelper
 
freeEquals(Term) - Method in class ua.gradsoft.termware.AbstractComplexTerm
Equality when all propositional variables are equal
freeEquals(Term) - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
freeEquals(Term) - Method in class ua.gradsoft.termware.AttributedTerm
 
freeEquals(Term) - Method in class ua.gradsoft.termware.jj.NodeTerm
 
freeEquals(Term) - Method in class ua.gradsoft.termware.JTerm
Equality when all propositional variables are equal
freeEquals(Term) - Method in class ua.gradsoft.termware.set.SetPatternTerm
Equality when all propositional variables are equal
freeEquals(Term) - Method in class ua.gradsoft.termware.Term
Equality when all propositional variables are equal
freeEquals(Term) - Method in class ua.gradsoft.termware.XTerm
 
freeUnify(Term, Substitution) - Method in class ua.gradsoft.termware.AbstractComplexTerm
return unification of this and t and store in s substitution.
freeUnify(Term, Substitution) - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
free unification
freeUnify(Term, Substitution) - Method in class ua.gradsoft.termware.AttributedTerm
 
freeUnify(Term, Substitution) - Method in class ua.gradsoft.termware.jj.NodeTerm
 
freeUnify(Term, Substitution) - Method in class ua.gradsoft.termware.JTerm
do unification of this and t and store in s substitution.
freeUnify(Term, Substitution) - Method in class ua.gradsoft.termware.Term
do unification of this and t and store in s substitution.
freeUnify(Term, Substitution) - Method in class ua.gradsoft.termware.XTerm
return unification of this and t and store in s substitution.
FSND - Variable in class ua.gradsoft.termware.util.TermBinaryDispathHelper
 
FVLimitReachedException - Exception in ua.gradsoft.termware.exceptions
Throwed, when limit of free variables enumeration is reached.
FVLimitReachedException() - Constructor for exception ua.gradsoft.termware.exceptions.FVLimitReachedException
 
FVSet - Class in ua.gradsoft.termware.util
set of free variables.
FVSet(Term) - Constructor for class ua.gradsoft.termware.util.FVSet
 

G

generateClassEntry(PrintWriter, String, String, List<String>) - Static method in class ua.gradsoft.termware.debug.JavaGeneratorHelper
 
generateConditionDebugStub(Term) - Method in class ua.gradsoft.termware.debug.DebugStubGenerator
 
generateContent() - Method in class ua.gradsoft.termware.debug.ConditionDebugStubJavaSourceObject
 
generateContent() - Method in class ua.gradsoft.termware.debug.DebugStubJavaSourceObject
 
generateContent() - Method in class ua.gradsoft.termware.debug.SetFactsDebugStubJavaSourceObject
 
generateContent() - Method in class ua.gradsoft.termware.debug.SubstitutionDebugStubJavaSourceObject
 
generateContent() - Method in class ua.gradsoft.termware.debug.UnificationDebugStubJavaSourceObject
 
generateEndSection(PrintWriter) - Static method in class ua.gradsoft.termware.debug.SMAPHelper
 
generateFactsSubstitutionDebugStub(Term) - Method in class ua.gradsoft.termware.debug.DebugStubGenerator
 
generateFileSection(PrintWriter, int, String) - Static method in class ua.gradsoft.termware.debug.SMAPHelper
 
generateHeader(PrintWriter, String) - Static method in class ua.gradsoft.termware.debug.SMAPHelper
 
generateImport(PrintWriter, String) - Static method in class ua.gradsoft.termware.debug.JavaGeneratorHelper
 
generateLineInfo(PrintWriter, int, SourceCodeLocation, int) - Static method in class ua.gradsoft.termware.debug.SMAPHelper
map enture source code location to outLineNumber
generatePackage(PrintWriter, String) - Static method in class ua.gradsoft.termware.debug.JavaGeneratorHelper
 
generateParseException() - Method in class ua.gradsoft.termware.parsers.terms.TermReader
 
generateSetFactsDebugStub(Term) - Method in class ua.gradsoft.termware.debug.DebugStubGenerator
 
generateStratumSection(PrintWriter, String) - Static method in class ua.gradsoft.termware.debug.SMAPHelper
 
generateSubstitutionDebugStub(Term) - Method in class ua.gradsoft.termware.debug.DebugStubGenerator
 
generateUnificationDebugStub(Term) - Method in class ua.gradsoft.termware.debug.DebugStubGenerator
 
GenericInputStreamSource - Class in ua.gradsoft.termware.termloaders
Generic InputStreamSource, which keep inside name and input stream.
GenericInputStreamSource(InputStream, String) - Constructor for class ua.gradsoft.termware.termloaders.GenericInputStreamSource
Creates a new instance of GenericInputStreamSource
get(int) - Method in class ua.gradsoft.termware.Substitution
return substitution of propositional variable with index i If such variable does not exists - return null
get() - Method in class ua.gradsoft.termware.TermHolder
 
getAllSuperClasses(Class) - Static method in class ua.gradsoft.termware.util.JavaLangReflectHelper
 
getAllSuperInterfaces(Class<?>) - Static method in class ua.gradsoft.termware.util.JavaLangReflectHelper
 
getArity() - Method in class ua.gradsoft.termware.AbstractComplexTerm
get arity of term.
getArity() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
getArity() - Method in class ua.gradsoft.termware.ArgsPatternTerm
 
getArity() - Method in class ua.gradsoft.termware.AttributedTerm
 
getArity() - Method in class ua.gradsoft.termware.ClassPatternTerm
 
getArity() - Method in class ua.gradsoft.termware.ComplexTerm
 
getArity() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
getArity() - Method in class ua.gradsoft.termware.JTerm
 
getArity() - Method in class ua.gradsoft.termware.ListInArrayTerm
 
getArity() - Method in class ua.gradsoft.termware.ListTerm
 
getArity() - Method in class ua.gradsoft.termware.set.AbstractSetTerm
 
getArity() - Method in class ua.gradsoft.termware.set.SetPatternTerm
 
getArity() - Method in class ua.gradsoft.termware.set.SetTerm
return arity of set.
getArity() - Method in class ua.gradsoft.termware.Term
get arity (i.
getArity() - Method in class ua.gradsoft.termware.XTerm
 
getAsBigDecimal(TermWareInstance) - Method in class ua.gradsoft.termware.AttributedTerm
 
getAsBigDecimal(TermWareInstance) - Method in class ua.gradsoft.termware.Term
get BigDecimal value, if this term represent some Numeric value, otherwise throw UnsupportedOperationException
getAsBigDecimal(Term) - Method in class ua.gradsoft.termware.TypeConversion
 
getAsBigInteger(TermWareInstance) - Method in class ua.gradsoft.termware.AttributedTerm
 
getAsBigInteger(TermWareInstance) - Method in class ua.gradsoft.termware.Term
get BigInteger value, if this term represent some Numeric value, otherwise throw UnsupportedOperationException
getAsBigInteger(Term) - Method in class ua.gradsoft.termware.TypeConversion
 
getAsBoolean(TermWareInstance) - Method in class ua.gradsoft.termware.AttributedTerm
 
getAsBoolean(TermWareInstance) - Method in class ua.gradsoft.termware.Term
get boolean value, if this term can be converted to boolean
getAsBoolean(Term) - Method in class ua.gradsoft.termware.TypeConversion
get term value as boolean.
getAsByte(TermWareInstance) - Method in class ua.gradsoft.termware.AttributedTerm
 
getAsByte(TermWareInstance) - Method in class ua.gradsoft.termware.Term
get Byte value, if this term represent some Numeric value, otherwise throw UnsupportedOperationException
getAsByte(Term) - Method in class ua.gradsoft.termware.TypeConversion
 
getAsChar(TermWareInstance) - Method in class ua.gradsoft.termware.AttributedTerm
 
getAsChar(TermWareInstance) - Method in class ua.gradsoft.termware.Term
get char value.
getAsChar(Term) - Method in class ua.gradsoft.termware.TypeConversion
 
getAsDouble(TermWareInstance) - Method in class ua.gradsoft.termware.AttributedTerm
 
getAsDouble(TermWareInstance) - Method in class ua.gradsoft.termware.Term
get double value, if this term represent some number, otherwise throw ConversionException
getAsDouble(Term) - Method in class ua.gradsoft.termware.TypeConversion
convert t to double value.
getAsFloat(TermWareInstance) - Method in class ua.gradsoft.termware.AttributedTerm
 
getAsFloat(TermWareInstance) - Method in class ua.gradsoft.termware.Term
get float value, if this term represent some number, otherwise throw ConversionException
getAsFloat(Term) - Method in class ua.gradsoft.termware.TypeConversion
 
getAsInt(TermWareInstance) - Method in class ua.gradsoft.termware.AttributedTerm
 
getAsInt(TermWareInstance) - Method in class ua.gradsoft.termware.Term
get integer value, if this term represent some number, otherwise throw ConversionException
getAsInt(Term) - Method in class ua.gradsoft.termware.TypeConversion
 
getAsJavaObject(TermWareInstance) - Method in class ua.gradsoft.termware.AttributedTerm
 
getAsJavaObject(TermWareInstance) - Method in class ua.gradsoft.termware.Term
 
getAsLong(TermWareInstance) - Method in class ua.gradsoft.termware.AttributedTerm
 
getAsLong(TermWareInstance) - Method in class ua.gradsoft.termware.Term
get long value, if this term represent some number, otherwise throw ConversionException
getAsLong(Term) - Method in class ua.gradsoft.termware.TypeConversion
get long term value from t , convert to required type if necessory
getAsNumber(TermWareInstance) - Method in class ua.gradsoft.termware.AttributedTerm
 
getAsNumber(TermWareInstance) - Method in class ua.gradsoft.termware.Term
 
getAsNumber(Term) - Method in class ua.gradsoft.termware.TypeConversion
 
getAsObject(Term) - Method in class ua.gradsoft.termware.TypeConversion
 
getAsObjectArray(Term) - Method in class ua.gradsoft.termware.TypeConversion
 
getAsObjectArrayWithClass(Class, Term) - Method in class ua.gradsoft.termware.TypeConversion
 
getAsObjectWithClass(Class<?>, Term) - Method in class ua.gradsoft.termware.TypeConversion
 
getAsShort(TermWareInstance) - Method in class ua.gradsoft.termware.AttributedTerm
 
getAsShort(TermWareInstance) - Method in class ua.gradsoft.termware.Term
get short value, if this term represent some number, otherwise throw ConversionException
getAsShort(Term) - Method in class ua.gradsoft.termware.TypeConversion
get short term value, convert to required type if necessory
getAsString(TermWareInstance) - Method in class ua.gradsoft.termware.Term
get string value, if this term represent sring, otherwise throw ConversionException
getAsString(Term) - Method in class ua.gradsoft.termware.TypeConversion
 
getAsVoid(Term) - Method in class ua.gradsoft.termware.TypeConversion
 
getAt(int) - Method in class ua.gradsoft.termware.set.SetOfTerms
 
getAttribute(String) - Method in interface ua.gradsoft.termware.Attributed
get attribute with name name .
getAttribute(String) - Method in class ua.gradsoft.termware.AttributedTerm
 
getAttribute(String) - Method in class ua.gradsoft.termware.jj.NodeTerm
 
getAttribute(Term, String) - Static method in class ua.gradsoft.termware.TermHelper
get attribute name of term t
getAttributes() - Method in interface ua.gradsoft.termware.Attributed
return map, where keys are attribute names, value - values of attributes.
getAttributes() - Method in class ua.gradsoft.termware.AttributedTerm
 
getAttributes() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
getBeginColumn() - Method in class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
getBeginLine() - Method in class ua.gradsoft.termware.debug.SourceCodeLocation
 
getBeginLine() - Method in class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
getBigDecimal() - Method in class ua.gradsoft.termware.AbstractComplexTerm
in this interface throws UnsupportedOperationException
getBigDecimal() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
getBigDecimal() - Method in class ua.gradsoft.termware.AttributedTerm
 
getBigDecimal() - Method in class ua.gradsoft.termware.BigDecimalTerm
 
getBigDecimal() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
getBigDecimal() - Method in class ua.gradsoft.termware.JTerm
getBigDecimal
getBigDecimal() - Method in class ua.gradsoft.termware.Term
get BigDecimal value, if this term represent BigDecimal, otherwise throw UnsupportedOperationException
getBigDecimal() - Method in class ua.gradsoft.termware.XTerm
 
getBigDecimalClass() - Static method in class ua.gradsoft.termware.util.JavaLangReflectHelper
 
getBigInteger() - Method in class ua.gradsoft.termware.AbstractComplexTerm
in this interface throws UnsupportedOperationException
getBigInteger() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
getBigInteger() - Method in class ua.gradsoft.termware.AttributedTerm
 
getBigInteger() - Method in class ua.gradsoft.termware.BigIntegerTerm
 
getBigInteger() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
getBigInteger() - Method in class ua.gradsoft.termware.JTerm
get BigInteger value
getBigInteger() - Method in class ua.gradsoft.termware.Term
get BigDecimal value, if this term represent BigInteger, otherwise throw UnsupportedOperationException
getBigInteger() - Method in class ua.gradsoft.termware.XTerm
 
getBigIntegerClass() - Static method in class ua.gradsoft.termware.util.JavaLangReflectHelper
 
getBoolean() - Method in class ua.gradsoft.termware.AbstractComplexTerm
in this class throws UnsupportedOperationException
getBoolean() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
getBoolean() - Method in class ua.gradsoft.termware.AttributedTerm
 
getBoolean() - Method in class ua.gradsoft.termware.BooleanTerm
 
getBoolean() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
getBoolean() - Method in class ua.gradsoft.termware.JTerm
 
getBoolean(String) - Static method in class ua.gradsoft.termware.parsers.xml.generic.XMLParseUtil
transfrom string to boolean: "on","1","true","yes" -> true "off","0","false","no" -> false any other -> throws AssertException
getBoolean() - Method in class ua.gradsoft.termware.Term
get boolean value, if this term represent boolean, otherwise throw UnsupportedOperationException
getBoolean() - Method in class ua.gradsoft.termware.XTerm
 
getBooleanAsNumber(boolean) - Method in class ua.gradsoft.termware.TypeConversion
 
getBooleanTerm(boolean) - Static method in class ua.gradsoft.termware.BooleanTerm
 
getBreakType() - Method in class ua.gradsoft.termware.printers.PrettyPrintingToken
 
getByte() - Method in class ua.gradsoft.termware.AbstractComplexTerm
in this interface throws UnsupportedOperationException
getByte() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
getByte() - Method in class ua.gradsoft.termware.AttributedTerm
 
getByte() - Method in class ua.gradsoft.termware.ByteTerm
 
getByte() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
getByte() - Method in class ua.gradsoft.termware.JTerm
get byte value
getByte() - Method in class ua.gradsoft.termware.Term
get byte value, if this term represent byte, otherwise throw UnsupportedOperationException
getByte() - Method in class ua.gradsoft.termware.XTerm
 
getBytes() - Method in class ua.gradsoft.termware.debug.BytecodeOutputFileObject
get resulting bytes.
getChar() - Method in class ua.gradsoft.termware.AbstractComplexTerm
in this interface throws UnsupportedOperationException
getChar() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
getChar() - Method in class ua.gradsoft.termware.AttributedTerm
 
getChar() - Method in class ua.gradsoft.termware.CharTerm
return incapsulated character.
getChar() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
getChar() - Method in class ua.gradsoft.termware.JTerm
get character value
getChar() - Method in class ua.gradsoft.termware.Term
get char value, if this term represent char, otherwise throw UnsupportedOperationException
getChar() - Method in class ua.gradsoft.termware.XTerm
 
getCharacterClass() - Static method in class ua.gradsoft.termware.util.JavaLangReflectHelper
 
getCharAsNumber(char) - Method in class ua.gradsoft.termware.TypeConversion
 
getCharContent(boolean) - Method in class ua.gradsoft.termware.debug.DebugStubJavaSourceObject
return generated Java source code.
getClassPrefix() - Method in enum ua.gradsoft.termware.debug.DebugStubTypeTraits
 
getColumn() - Method in class ua.gradsoft.termware.parsers.terms.JavaCharStream
Deprecated.  
getCompiled(String) - Method in class ua.gradsoft.termware.debug.DebugStubCompilationFileManager
 
getCondition() - Method in class ua.gradsoft.termware.util.ConditionalRuleTransformer
 
getCurrentSubstitution() - Method in class ua.gradsoft.termware.TransformationContext
return substitutions for currently-evaluated term.
GetCurrentTimeInMillisTransformer - Class in ua.gradsoft.termware.transformers.sys
Transformer for sys::getCurrentTimeMillis - return number of milliseconds since midnight GMT on January 1st, 1970
getDebugStubClass() - Method in enum ua.gradsoft.termware.debug.DebugStubTypeTraits
 
getDebugStubGenerator() - Method in class ua.gradsoft.termware.TermWareInstance
 
getDecimalScale() - Method in class ua.gradsoft.termware.TermWareInstance
get target scale for BigDecimal operations.
getDescription() - Method in class ua.gradsoft.termware.AbstractBuildinTransformer
get description of transformer.
getDescription() - Method in class ua.gradsoft.termware.DefaultFacts.MethodTransformer
 
getDescription() - Method in interface ua.gradsoft.termware.ITermTransformer
return human-readable description of transformer
getDescription() - Method in class ua.gradsoft.termware.strategies.BTStrategy
get description of strategy
getDescription() - Method in class ua.gradsoft.termware.strategies.FirstTopStrategy
get description of strategy
getDescription() - Method in class ua.gradsoft.termware.strategies.NFirstTopsStrategy
get description of strategy
getDescription() - Method in class ua.gradsoft.termware.strategies.TopDownStrategy
 
getDescription() - Method in class ua.gradsoft.termware.transformers.facts.AssignTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.ApplyTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.ArityTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.CloneTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.DivideTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.EqTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.GreaterEqTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.GreaterTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.IfTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.IntersectionTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.IsAtomTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.IsBigDecimalTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.IsBigIntegerTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.IsBooleanTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.IsByteTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.IsCharTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.IsDoubleTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.IsFloatTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.IsIntTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.IsJavaObjectTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.IsListTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.IsLongTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.IsNilTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.IsNumberTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.IsShortTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.IsStringTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.IsXTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.LessEqTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.LessTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.LetTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.LogicalAndTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.LogicalNotTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.LogicalOrTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.MinusTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.ModTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.MultiplyTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.NeqTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.PlusTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.ReduceTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.TermNameTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.ToBigDecimalTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.ToBigIntegerTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.ToBooleanTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.ToDoubleTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.ToIntTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.ToLongTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.ToStringTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.general.UnifyTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.list.ListAppendTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.list.ListCarTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.list.ListCdrTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.list.ListInsertTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.list.ListLengthTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.list.ReverseTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.list.SublistTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.string.StringConcatTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.string.StringConvertTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.string.StringLengthTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.string.StringParseTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.string.StringSplitTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.string.StringSubstTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.sys.DomainTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.sys.GetCurrentTimeInMillisTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.sys.GetPropertyTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.sys.GetRulesetTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.sys.JavaFactsTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.sys.JavaStrategyTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.sys.LoadFileTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.sys.PrintTermTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.sys.SetFactTransformer
 
getDescription() - Method in class ua.gradsoft.termware.transformers.sys.SetPropertyTransformer
return description of this transformer.
getDescription() - Method in class ua.gradsoft.termware.transformers.sys.SystemTransformer
 
getDescription() - Method in class ua.gradsoft.termware.util.ConditionalRuleTransformer
 
getDescription() - Method in class ua.gradsoft.termware.util.RuleTransformer
 
getDirectSubdomain(String) - Method in class ua.gradsoft.termware.Domain
 
getDomain(String) - Method in class ua.gradsoft.termware.TermWareInstance
get domain or throw InvalidDomainName exception is such subdomen does not exists in root domain of this instance.
getDomainName() - Method in class ua.gradsoft.termware.DefaultFacts
 
getDomainNames() - Method in class ua.gradsoft.termware.TermWareInstance
get names of domains (direct sundomens of root), loaded into current runtime.
getDouble() - Method in class ua.gradsoft.termware.AbstractComplexTerm
 
getDouble() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
getDouble() - Method in class ua.gradsoft.termware.AttributedTerm
 
getDouble() - Method in class ua.gradsoft.termware.DoubleTerm
 
getDouble() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
getDouble() - Method in class ua.gradsoft.termware.JTerm
 
getDouble() - Method in class ua.gradsoft.termware.Term
get double value, if this term represent double, otherwise throw UnsupportedOperationException Note, that this method does not provide conversion of other numeric types to double.
getDouble() - Method in class ua.gradsoft.termware.XTerm
 
getEmptyArray() - Static method in class ua.gradsoft.termware.util.JavaLangReflectHelper
 
getEndColumn() - Method in class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
getEndLine() - Method in class ua.gradsoft.termware.debug.SourceCodeLocation
 
getEndLine() - Method in class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
getEngineName() - Method in class ua.gradsoft.termware.jsr223.TermWareScriptEngineFactory
 
getEngineVersion() - Method in class ua.gradsoft.termware.jsr223.TermWareScriptEngineFactory
 
getEnv() - Method in class ua.gradsoft.termware.DefaultFacts
 
getEnv() - Method in class ua.gradsoft.termware.TermSystem
get environment for input/output operations.
getEnv() - Method in class ua.gradsoft.termware.TermWareInstance
get default environment
getEnv() - Method in class ua.gradsoft.termware.TransformationContext
return environment for writing output and error messages.
getException() - Method in exception ua.gradsoft.termware.exceptions.ExternalException
 
getExtensions() - Method in class ua.gradsoft.termware.jsr223.TermWareScriptEngineFactory
 
getFactory() - Method in class ua.gradsoft.termware.jsr223.TermWareScriptEngine
 
getFacts() - Method in class ua.gradsoft.termware.TermSystem
get facts base.
getFacts(Term) - Method in class ua.gradsoft.termware.TermWareInstance
resolve facts in root domain
getFacts(String) - Method in class ua.gradsoft.termware.TermWareInstance
get facts database from root domain.
getFileName() - Method in class ua.gradsoft.termware.debug.SourceCodeLocation
 
getFloat() - Method in class ua.gradsoft.termware.AbstractComplexTerm
in this interface throws UnsupportedOperationException
getFloat() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
getFloat() - Method in class ua.gradsoft.termware.AttributedTerm
 
getFloat() - Method in class ua.gradsoft.termware.FloatTerm
 
getFloat() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
getFloat() - Method in class ua.gradsoft.termware.JTerm
get float value
getFloat() - Method in class ua.gradsoft.termware.Term
get float value, if this term represent float, otherwise throw UnsupportedOperationException.
getFloat() - Method in class ua.gradsoft.termware.XTerm
 
GetImage() - Method in class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
getIndex() - Method in class ua.gradsoft.termware.Name
 
getIndex(String) - Method in class ua.gradsoft.termware.parsers.terms.util.StringIndex
 
getIndex() - Method in class ua.gradsoft.termware.SymbolTable.Entry
 
getInPattern() - Method in class ua.gradsoft.termware.util.AbstractRuleTransformer
get input pattern
getInPattern() - Method in class ua.gradsoft.termware.util.ConditionalRuleTransformer
 
getInPattern() - Method in class ua.gradsoft.termware.util.RuleTransformer
 
getInput() - Method in class ua.gradsoft.termware.envs.SystemEnv
return System.in
getInput() - Method in class ua.gradsoft.termware.envs.SystemLogEnv
get input
getInput() - Method in interface ua.gradsoft.termware.IEnv
get standard input stream.
getInputStream() - Method in interface ua.gradsoft.termware.InputStreamSource
get input stream for target resource.
getInputStream() - Method in class ua.gradsoft.termware.termloaders.FileInputStreamSource
create input stream for file found.
getInputStream() - Method in class ua.gradsoft.termware.termloaders.GenericInputStreamSource
 
getInstance() - Method in class ua.gradsoft.termware.jsr223.TermWareScriptEngine
 
getInstance() - Method in class ua.gradsoft.termware.TermSystem
get instance of runtime environment.
getInstance() - Static method in class ua.gradsoft.termware.TermWare
 
getInstance() - Static method in class ua.gradsoft.termware.util.EmptyIterator
 
getInt() - Method in class ua.gradsoft.termware.AbstractComplexTerm
in this interface throws UnsupportedOperationException
getInt() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
getInt() - Method in class ua.gradsoft.termware.AttributedTerm
 
getInt() - Method in class ua.gradsoft.termware.IntTerm
 
getInt() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
getInt() - Method in class ua.gradsoft.termware.JTerm
 
getInt() - Method in class ua.gradsoft.termware.Term
get integer value, if this term represent integer, otherwise throw UnsupportedOperationException
getInt() - Method in class ua.gradsoft.termware.XTerm
 
getIntCode() - Method in enum ua.gradsoft.termware.SymbolAdoptionPolicy
 
getInterface(Object, Class<T>) - Method in class ua.gradsoft.termware.jsr223.TermWareScriptEngine
 
getInterface(Class<T>) - Method in class ua.gradsoft.termware.jsr223.TermWareScriptEngine
 
getIntTerm(int) - Static method in class ua.gradsoft.termware.IntTerm
 
getJavaDebugStubSourceInput(JavaFileManager.Location, String, JavaFileObject.Kind) - Method in class ua.gradsoft.termware.debug.DebugStubCompilationFileManager
 
getJavaFileForInput(JavaFileManager.Location, String, JavaFileObject.Kind) - Method in class ua.gradsoft.termware.debug.DebugStubCompilationFileManager
 
getJavaFileForOutput(JavaFileManager.Location, String, JavaFileObject.Kind, FileObject) - Method in class ua.gradsoft.termware.debug.DebugStubCompilationFileManager
create new ByteCodeOutputFileObject
getJavaObject() - Method in class ua.gradsoft.termware.AbstractComplexTerm
in this class throws UnsupportedOperationException
getJavaObject() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
getJavaObject() - Method in class ua.gradsoft.termware.AttributedTerm
 
getJavaObject() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
getJavaObject() - Method in class ua.gradsoft.termware.JTerm
 
getJavaObject() - Method in class ua.gradsoft.termware.Term
 
getJavaObject() - Method in class ua.gradsoft.termware.XTerm
 
getKind() - Method in class ua.gradsoft.termware.printers.PrettyPrintingToken
 
getLanguageName() - Method in class ua.gradsoft.termware.jsr223.TermWareScriptEngineFactory
 
getLanguageVersion() - Method in class ua.gradsoft.termware.jsr223.TermWareScriptEngineFactory
 
getLastModificationTime() - Method in class ua.gradsoft.termware.SymbolTable
return time in milliseconds, when Symbol Table was last updated.
getLastWatchTime() - Method in class ua.gradsoft.termware.Name
 
getLength() - Method in class ua.gradsoft.termware.printers.PrettyPrintingToken
 
getLine() - Method in class ua.gradsoft.termware.parsers.terms.JavaCharStream
Deprecated.  
getLineWidth() - Method in class ua.gradsoft.termware.printers.PrettyPrintWriter
 
getLocationOfTerm(Term) - Static method in class ua.gradsoft.termware.debug.SourceCodeAccessHelper
if term was in source code, get location of this term in it, otherwise - return SourceCodeLocation.UNKNOWN
getLocationOfTermBegin(Term) - Static method in class ua.gradsoft.termware.debug.SourceCodeAccessHelper
if term was in source code, get location of begin line of this term, otherwise - return SourceCodeLocation.UNKNOWN
getLocationOfTermEnd(Term) - Static method in class ua.gradsoft.termware.debug.SourceCodeAccessHelper
if term was in source code, get location of begin line of this term, otherwise - return SourceCodeLocation.UNKNOWN
getLog() - Method in class ua.gradsoft.termware.envs.SystemEnv
return System.err
getLog() - Method in class ua.gradsoft.termware.envs.SystemLogEnv
get log stream
getLog() - Method in interface ua.gradsoft.termware.IEnv
get standard log stream.
getLoggedEntities() - Method in class ua.gradsoft.termware.TermSystem
 
getLong() - Method in class ua.gradsoft.termware.AbstractComplexTerm
in this interface throws UnsupportedOperationException
getLong() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
getLong() - Method in class ua.gradsoft.termware.AttributedTerm
 
getLong() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
getLong() - Method in class ua.gradsoft.termware.JTerm
get long value
getLong() - Method in class ua.gradsoft.termware.LongTerm
 
getLong() - Method in class ua.gradsoft.termware.Term
get long value, if this term represent long, otherwise throw UnsupportedOperationException Note, that this method does not provide conversion of other numeric types to long.
getLong() - Method in class ua.gradsoft.termware.XTerm
 
getMap() - Method in class ua.gradsoft.termware.parsers.terms.util.StringIndex
 
getMax() - Method in class ua.gradsoft.termware.util.FVSet
 
getMessage() - Method in exception ua.gradsoft.termware.exceptions.ConversionException
 
getMessage() - Method in exception ua.gradsoft.termware.exceptions.MatchingFailure
 
getMessage() - Method in exception ua.gradsoft.termware.parsers.terms.ParseException
This method has the standard behavior when this object has been created using the standard constructors.
getMessage() - Method in error ua.gradsoft.termware.parsers.terms.TokenMgrError
You can also modify the body of this method to customize your error messages.
getMethodCallSyntax(String, String, String...) - Method in class ua.gradsoft.termware.jsr223.TermWareScriptEngineFactory
 
getMimeTypes() - Method in class ua.gradsoft.termware.jsr223.TermWareScriptEngineFactory
 
getMin() - Method in class ua.gradsoft.termware.util.FVSet
 
getName() - Method in class ua.gradsoft.termware.AbstractBuildinTransformer
get name of transformer.
getName() - Method in class ua.gradsoft.termware.AbstractComplexTerm
get name of term.
getName() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
getName() - Method in class ua.gradsoft.termware.ArgsPatternTerm
 
getName() - Method in class ua.gradsoft.termware.AtomTerm
return name of atom.
getName() - Method in class ua.gradsoft.termware.AttributedTerm
 
getName() - Method in class ua.gradsoft.termware.BigDecimalTerm
name of term
getName() - Method in class ua.gradsoft.termware.BigIntegerTerm
name of term
getName() - Method in class ua.gradsoft.termware.BooleanTerm
return string representation
getName() - Method in class ua.gradsoft.termware.ByteTerm
name of term
getName() - Method in class ua.gradsoft.termware.CharTerm
 
getName() - Method in class ua.gradsoft.termware.ClassPatternTerm
get name of term.
getName() - Method in class ua.gradsoft.termware.ComplexTerm
name for f(x1..xN) is f.
getName() - Method in class ua.gradsoft.termware.DefaultFacts.MethodTransformer
 
getName() - Method in class ua.gradsoft.termware.Domain
return domain name.
getName() - Method in class ua.gradsoft.termware.DoubleTerm
name of term
getName() - Method in class ua.gradsoft.termware.FloatTerm
name of term
getName() - Method in class ua.gradsoft.termware.IntTerm
 
getName() - Method in interface ua.gradsoft.termware.ITermTransformer
return name of transformer.
getName() - Method in interface ua.gradsoft.termware.jj.INode
 
getName() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
getName() - Method in class ua.gradsoft.termware.JTerm
 
getName() - Method in class ua.gradsoft.termware.ListInArrayTerm
 
getName() - Method in class ua.gradsoft.termware.ListTerm
 
getName() - Method in class ua.gradsoft.termware.LongTerm
name of term
getName() - Method in class ua.gradsoft.termware.NILTerm
return name of term.
getName() - Method in class ua.gradsoft.termware.set.AbstractSetTerm
 
getName() - Method in class ua.gradsoft.termware.set.SetPatternTerm
 
getName() - Method in class ua.gradsoft.termware.ShortTerm
name of term
getName() - Method in class ua.gradsoft.termware.strategies.BTStrategy
 
getName() - Method in class ua.gradsoft.termware.strategies.FirstTopStrategy
 
getName() - Method in class ua.gradsoft.termware.strategies.NFirstTopsStrategy
 
getName() - Method in class ua.gradsoft.termware.strategies.TopDownStrategy
 
getName() - Method in class ua.gradsoft.termware.StringTerm
 
getName() - Method in class ua.gradsoft.termware.SymbolTable.Entry
 
getName(Integer) - Method in class ua.gradsoft.termware.SymbolTable
get name of existing index.
getName() - Method in class ua.gradsoft.termware.Term
get name of functional symbol.
getName() - Method in class ua.gradsoft.termware.transformers.facts.AssignTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.ApplyTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.ArityTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.CloneTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.DivideTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.EqTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.GreaterEqTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.GreaterTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.IfTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.IntersectionTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.IsAtomTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.IsBigDecimalTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.IsBigIntegerTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.IsBooleanTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.IsByteTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.IsCharTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.IsDoubleTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.IsFloatTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.IsIntTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.IsJavaObjectTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.IsListTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.IsLongTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.IsNilTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.IsNumberTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.IsShortTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.IsStringTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.IsXTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.LessEqTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.LessTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.LetTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.LogicalAndTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.LogicalNotTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.LogicalOrTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.MinusTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.ModTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.MultiplyTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.NeqTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.PlusTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.ReduceTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.TermNameTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.ToBigDecimalTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.ToBigIntegerTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.ToBooleanTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.ToDoubleTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.ToIntTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.ToLongTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.ToStringTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.general.UnifyTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.list.ListAppendTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.list.ListCarTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.list.ListCdrTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.list.ListInsertTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.list.ListLengthTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.list.ReverseTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.list.SublistTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.string.StringConcatTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.string.StringConvertTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.string.StringLengthTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.string.StringParseTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.string.StringSplitTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.string.StringSubstTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.sys.DomainTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.sys.GetCurrentTimeInMillisTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.sys.GetPropertyTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.sys.GetRulesetTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.sys.JavaFactsTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.sys.JavaStrategyTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.sys.LoadFileTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.sys.PrintTermTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.sys.SetFactTransformer
 
getName() - Method in class ua.gradsoft.termware.transformers.sys.SetPropertyTransformer
return name of this transformer
getName() - Method in class ua.gradsoft.termware.transformers.sys.SystemTransformer
 
getName() - Method in class ua.gradsoft.termware.util.ConditionalRuleTransformer
 
getName() - Method in class ua.gradsoft.termware.util.RuleTransformer
 
getName() - Method in class ua.gradsoft.termware.XTerm
 
getNameIndex() - Method in class ua.gradsoft.termware.AbstractComplexTerm
get name index in bounded symbol table or sust string, if name in symbol table does not exists.
getNameIndex() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
getNameIndex() - Method in class ua.gradsoft.termware.ArgsPatternTerm
 
getNameIndex() - Method in class ua.gradsoft.termware.AtomTerm
 
getNameIndex() - Method in class ua.gradsoft.termware.AttributedTerm
 
getNameIndex() - Method in class ua.gradsoft.termware.ClassPatternTerm
get index of name in termware symbol term.
getNameIndex() - Method in class ua.gradsoft.termware.ComplexTerm
 
getNameIndex() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
getNameIndex() - Method in class ua.gradsoft.termware.JTerm
 
getNameIndex() - Method in class ua.gradsoft.termware.ListInArrayTerm
 
getNameIndex() - Method in class ua.gradsoft.termware.ListTerm
 
getNameIndex() - Method in class ua.gradsoft.termware.NILTerm
 
getNameIndex() - Method in class ua.gradsoft.termware.set.AbstractSetTerm
 
getNameIndex() - Method in class ua.gradsoft.termware.set.SetPatternTerm
 
getNameIndex(String) - Method in class ua.gradsoft.termware.SymbolTable
get index of existing name in table.
getNameIndex() - Method in class ua.gradsoft.termware.Term
get index of name in instance symbol table.
getNameIndex() - Method in class ua.gradsoft.termware.XTerm
 
getNamePatterns() - Method in class ua.gradsoft.termware.util.TransformersStar
get collection of all rule patterns.
getNames() - Method in class ua.gradsoft.termware.jsr223.TermWareScriptEngineFactory
 
getNamesOfDirectSubdomains() - Method in class ua.gradsoft.termware.Domain
get names of direct subdomains.
getNamesOfSystems() - Method in class ua.gradsoft.termware.Domain
get names of systems, registered in this domain, but not in subdomens.
getNextToken() - Method in class ua.gradsoft.termware.parsers.terms.TermReader
 
getNextToken() - Method in class ua.gradsoft.termware.parsers.terms.TermReaderTokenManager
 
getNILTerm() - Static method in class ua.gradsoft.termware.NILTerm
return Nil singleton
getNumber() - Method in class ua.gradsoft.termware.AbstractComplexTerm
in this class throws UnsupportedOperationException
getNumber() - Method in class ua.gradsoft.termware.AtomTerm
get number.
getNumber() - Method in class ua.gradsoft.termware.AttributedTerm
 
getNumber() - Method in class ua.gradsoft.termware.BigDecimalTerm
return number, which holded in this term.
getNumber() - Method in class ua.gradsoft.termware.BigIntegerTerm
return number, which holded in this term.
getNumber() - Method in class ua.gradsoft.termware.BooleanTerm
get number value, if one exists.
getNumber() - Method in class ua.gradsoft.termware.ByteTerm
return number, which holded in this term.
getNumber() - Method in class ua.gradsoft.termware.CharTerm
in this class just throws UnsupportedOperationException
getNumber() - Method in class ua.gradsoft.termware.DoubleTerm
return number, which holded in this term.
getNumber() - Method in class ua.gradsoft.termware.FloatTerm
return number, which holded in this term.
getNumber() - Method in class ua.gradsoft.termware.IntTerm
 
getNumber() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
getNumber() - Method in class ua.gradsoft.termware.JTerm
return Number value of underlaying number term, if one exists.
getNumber() - Method in class ua.gradsoft.termware.LongTerm
return number, which holded in this term.
getNumber() - Method in class ua.gradsoft.termware.NILTerm
already throws UnsupportedOperationException
getNumber() - Method in class ua.gradsoft.termware.ShortTerm
return number, which holded in this term.
getNumber() - Method in class ua.gradsoft.termware.StringTerm
in this class just throws UnsupportedOperationException
getNumber() - Method in class ua.gradsoft.termware.Term
get numeric value, if this term represent number, otherwise throw UnsupportedOperationException
getNumber() - Method in class ua.gradsoft.termware.XTerm
 
getNumberAsBigDecimal(Number) - Method in class ua.gradsoft.termware.TypeConversion
 
getNumberAsBigInteger(Number) - Method in class ua.gradsoft.termware.TypeConversion
 
getObjectArrayClass() - Static method in class ua.gradsoft.termware.util.JavaLangReflectHelper
 
getOffset() - Method in class ua.gradsoft.termware.printers.PrettyPrintingToken
 
getOrCreateDirectSubdomain(String) - Method in class ua.gradsoft.termware.Domain
get subdomain with name name If such subdomain does not exists - it's created.
getOrCreateDomain(Term) - Method in class ua.gradsoft.termware.TermWareInstance
get subdomain of root domain with name name If such domain does not exists - it's created.
getOrCreateDomain(String) - Method in class ua.gradsoft.termware.TermWareInstance
get direct subdomain of root domain with name name If such domain does not exists - it's created.
getOrCreateSubdomain(Term) - Method in class ua.gradsoft.termware.Domain
 
getOrCreateSubdomain(String) - Method in class ua.gradsoft.termware.Domain
get or create subdomain, which can be non-direct: i.
getOut() - Method in class ua.gradsoft.termware.printers.AbstractPrinter
get output PrinWriter
getOutPattern() - Method in class ua.gradsoft.termware.util.AbstractRuleTransformer
get output pattern
getOutPattern() - Method in class ua.gradsoft.termware.util.ConditionalRuleTransformer
 
getOutPattern() - Method in class ua.gradsoft.termware.util.RuleTransformer
 
getOutput() - Method in class ua.gradsoft.termware.envs.SystemEnv
return System.out
getOutput() - Method in class ua.gradsoft.termware.envs.SystemLogEnv
get standard output
getOutput() - Method in interface ua.gradsoft.termware.IEnv
get standard output stream.
getOutputStatement(String) - Method in class ua.gradsoft.termware.jsr223.TermWareScriptEngineFactory
 
getPageWidth() - Method in interface ua.gradsoft.termware.IPrettyPrinter
 
getPageWidth() - Method in class ua.gradsoft.termware.printers.AbstractPrettyPrinter
 
getParameter(String) - Method in class ua.gradsoft.termware.jsr223.TermWareScriptEngineFactory
 
getParent() - Method in class ua.gradsoft.termware.Domain
return parent of this domain
getParserFactory(String) - Method in class ua.gradsoft.termware.TermWareInstance
get parserFactory for language language-name
getParserSymbol(int) - Method in class ua.gradsoft.termware.jj.NodeTermFactory
 
getPatternName() - Method in class ua.gradsoft.termware.AbstractComplexTerm
get name, for which we can forse unfication.
getPatternName() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
getPatternName() - Method in class ua.gradsoft.termware.ArgsPatternTerm
for f..($x) this will be f
getPatternName() - Method in class ua.gradsoft.termware.AttributedTerm
 
getPatternName() - Method in class ua.gradsoft.termware.ClassPatternTerm
 
getPatternName() - Method in class ua.gradsoft.termware.JTerm
return name of pattern, for which unification is applicable.
getPatternName() - Method in class ua.gradsoft.termware.set.SetPatternTerm
 
getPatternName() - Method in class ua.gradsoft.termware.Term
return name of pattern, for which unification is applicable.
getPatternName() - Method in class ua.gradsoft.termware.XTerm
 
getPatternNameIndex() - Method in class ua.gradsoft.termware.AbstractComplexTerm
get index for pattern name.
getPatternNameIndex() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
getPatternNameIndex() - Method in class ua.gradsoft.termware.ArgsPatternTerm
 
getPatternNameIndex() - Method in class ua.gradsoft.termware.AttributedTerm
 
getPatternNameIndex() - Method in class ua.gradsoft.termware.ClassPatternTerm
 
getPatternNameIndex() - Method in class ua.gradsoft.termware.JTerm
 
getPatternNameIndex() - Method in class ua.gradsoft.termware.set.SetPatternTerm
 
getPatternNameIndex() - Method in class ua.gradsoft.termware.Term
return index of pattern name.
getPatternNameIndex() - Method in class ua.gradsoft.termware.XTerm
 
getPatternNames() - Method in class ua.gradsoft.termware.TermSystem
get patterns for all rules, added to system.
getPrettyPrintingOut() - Method in class ua.gradsoft.termware.printers.AbstractPrettyPrinter
 
getPrimaryType0() - Method in class ua.gradsoft.termware.AbstractComplexTerm
get primary type of the term.
getPrimaryType0() - Method in class ua.gradsoft.termware.AtomTerm
return typename0 - "atom"
getPrimaryType0() - Method in class ua.gradsoft.termware.AttributedTerm
 
getPrimaryType0() - Method in class ua.gradsoft.termware.BigDecimalTerm
 
getPrimaryType0() - Method in class ua.gradsoft.termware.BigIntegerTerm
 
getPrimaryType0() - Method in class ua.gradsoft.termware.BooleanTerm
 
getPrimaryType0() - Method in class ua.gradsoft.termware.ByteTerm
 
getPrimaryType0() - Method in class ua.gradsoft.termware.CharTerm
 
getPrimaryType0() - Method in class ua.gradsoft.termware.DoubleTerm
 
getPrimaryType0() - Method in class ua.gradsoft.termware.FloatTerm
 
getPrimaryType0() - Method in class ua.gradsoft.termware.IntTerm
 
getPrimaryType0() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
getPrimaryType0() - Method in class ua.gradsoft.termware.JTerm
get Primary Type
getPrimaryType0() - Method in class ua.gradsoft.termware.LongTerm
 
getPrimaryType0() - Method in class ua.gradsoft.termware.NILTerm
 
getPrimaryType0() - Method in class ua.gradsoft.termware.ShortTerm
 
getPrimaryType0() - Method in class ua.gradsoft.termware.StringTerm
 
getPrimaryType0() - Method in class ua.gradsoft.termware.Term
return code of level-0 primary type
getPrimaryType0() - Method in class ua.gradsoft.termware.XTerm
 
getPrimaryType1() - Method in class ua.gradsoft.termware.Term
return code of level-1 primary type
getPrinterFactory(String) - Method in class ua.gradsoft.termware.TermWareInstance
get printerFactory for language language-name
getProgram(String...) - Method in class ua.gradsoft.termware.jsr223.TermWareScriptEngineFactory
return program, which sequentially evaluate all statements.
GetPropertyTransformer - Class in ua.gradsoft.termware.transformers.sys
getProperty(x) - reduced to property with name x.getName() of current system for now, only one property - 'debug' is supported.
GetPropertyTransformer() - Constructor for class ua.gradsoft.termware.transformers.sys.GetPropertyTransformer
 
getResourceName() - Method in exception ua.gradsoft.termware.exceptions.ResourceNotFoundException
get name of resource, which was not found.
getResourceName() - Method in interface ua.gradsoft.termware.InputStreamSource
get name of resource (such as absolute file name, or so on)
getResourceName() - Method in class ua.gradsoft.termware.termloaders.FileInputStreamSource
get absolute path of file.
getResourceName() - Method in class ua.gradsoft.termware.termloaders.GenericInputStreamSource
 
getResult() - Method in class ua.gradsoft.termware.debug.ConditionDebugStub
 
getResult() - Method in class ua.gradsoft.termware.debug.SetFactsDebugStub
 
getResult() - Method in class ua.gradsoft.termware.debug.SubstitutionDebugStub
 
getResult() - Method in class ua.gradsoft.termware.debug.UnificationDebugStub
Generated subclasses override call of this method by t.freeUnify(pattern,s)
getRoot() - Method in class ua.gradsoft.termware.TermWareInstance
get root domain
getRoundingMode() - Method in class ua.gradsoft.termware.TermWareInstance
get rounding mode, which used in ariphmetic operations.
GetRulesetTransformer - Class in ua.gradsoft.termware.transformers.sys
getRuleset(x) - return ruleset of system with name 'x'
GetRulesetTransformer() - Constructor for class ua.gradsoft.termware.transformers.sys.GetRulesetTransformer
 
getScriptEngine() - Method in class ua.gradsoft.termware.jsr223.TermWareScriptEngineFactory
 
getSearchPathes() - Method in class ua.gradsoft.termware.TermLoader
return read-only list of searh patches.
getSearchPathes() - Method in class ua.gradsoft.termware.termloaders.ClassPathTermLoader
return empty list
getSearchPathes() - Method in class ua.gradsoft.termware.termloaders.FileOrClassTermLoader
 
getSearchPathes() - Method in class ua.gradsoft.termware.termloaders.FileSystemTermLoader
 
getShort() - Method in class ua.gradsoft.termware.AbstractComplexTerm
in this class throws UnsupportedOperationException
getShort() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
getShort() - Method in class ua.gradsoft.termware.AttributedTerm
 
getShort() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
getShort() - Method in class ua.gradsoft.termware.JTerm
 
getShort() - Method in class ua.gradsoft.termware.ShortTerm
 
getShort() - Method in class ua.gradsoft.termware.Term
get short value, if this term represent short, otherwise throw UnsupportedOperationException Note, that this method does not provide conversion of other numeric types to short.
getShort() - Method in class ua.gradsoft.termware.XTerm
 
getSize() - Method in class ua.gradsoft.termware.set.SetOfTerms
 
getSMap() - Method in class ua.gradsoft.termware.debug.DebugStubJavaSourceObject
get SMAP file, defined in JSR-45
getSource() - Method in class ua.gradsoft.termware.AbstractBuildinTransformer
return source.
getSource() - Method in interface ua.gradsoft.termware.ITermTransformer
return source-code of this term, if one is aviable.
getSource(String) - Method in class ua.gradsoft.termware.TermLoader
locate source by absolute name.
getSource(String) - Method in class ua.gradsoft.termware.termloaders.ClassPathTermLoader
 
getSource(String) - Method in class ua.gradsoft.termware.termloaders.FileOrClassTermLoader
 
getSource(String) - Method in class ua.gradsoft.termware.termloaders.FileSystemTermLoader
 
getSource() - Method in class ua.gradsoft.termware.util.ConditionalRuleTransformer
 
getSource() - Method in class ua.gradsoft.termware.util.RuleTransformer
 
getStar() - Method in interface ua.gradsoft.termware.ITermRewritingStrategy
get transformer star
getStar() - Method in class ua.gradsoft.termware.strategies.AbstractTermRewritingStrategy
return set of transformers inside strategy.
getStrategy() - Method in class ua.gradsoft.termware.TermSystem
get strategy
getString() - Method in class ua.gradsoft.termware.AbstractComplexTerm
in this interface throws UnsupportedOperationException
getString() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
getString() - Method in class ua.gradsoft.termware.AttributedTerm
 
getString() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
getString() - Method in class ua.gradsoft.termware.JTerm
 
getString() - Method in class ua.gradsoft.termware.printers.PrettyPrintingToken
 
getString() - Method in class ua.gradsoft.termware.StringTerm
return incapsulated string.
getString() - Method in class ua.gradsoft.termware.Term
get string value, if this term represent string, otherwise throw InvalidPrimitiveTypeException
getString() - Method in class ua.gradsoft.termware.XTerm
 
getStringAsNumber(String) - Method in class ua.gradsoft.termware.TypeConversion
 
getStringClass() - Static method in class ua.gradsoft.termware.util.JavaLangReflectHelper
 
getStringIndex() - Method in class ua.gradsoft.termware.parsers.terms.TermReader
 
getStringValue() - Method in class ua.gradsoft.termware.Name
 
getStubClass() - Method in class ua.gradsoft.termware.debug.DebugStubClassLoader
 
getSubdomain(String) - Method in class ua.gradsoft.termware.Domain
get subdomain, which can be non-direct: i.
getSubterm() - Method in exception ua.gradsoft.termware.exceptions.SubtermNotFoundException
 
getSubtermAt(int) - Method in class ua.gradsoft.termware.AbstractComplexTerm
get i-th subterm.
getSubtermAt(int) - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
throws UnsupporedOperationException
getSubtermAt(int) - Method in class ua.gradsoft.termware.ArgsPatternTerm
 
getSubtermAt(int) - Method in class ua.gradsoft.termware.AttributedTerm
 
getSubtermAt(int) - Method in class ua.gradsoft.termware.ClassPatternTerm
 
getSubtermAt(int) - Method in class ua.gradsoft.termware.ComplexTerm
 
getSubtermAt(int) - Method in class ua.gradsoft.termware.jj.NodeTerm
 
getSubtermAt(int) - Method in class ua.gradsoft.termware.JTerm
get subterm of current term.
getSubtermAt(int) - Method in class ua.gradsoft.termware.ListInArrayTerm
 
getSubtermAt(int) - Method in class ua.gradsoft.termware.ListTerm
 
getSubtermAt(int) - Method in class ua.gradsoft.termware.set.AbstractSetTerm
 
getSubtermAt(int) - Method in class ua.gradsoft.termware.set.SetPatternTerm
 
getSubtermAt(int) - Method in class ua.gradsoft.termware.set.SetTerm
get i-th subbterm.
getSubtermAt(int) - Method in class ua.gradsoft.termware.Term
get subterm of current term.
getSubtermAt(int) - Method in class ua.gradsoft.termware.XTerm
 
GetSuffix(int) - Method in class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
getSymbolAdoptionPolicy() - Method in class ua.gradsoft.termware.TermWareInstance
 
getSymbolTable() - Static method in class ua.gradsoft.termware.SymbolTable
return instance of SymbolTable in current JVM
getSymbolTable() - Method in class ua.gradsoft.termware.TermWareInstance
 
getSysSystem() - Method in class ua.gradsoft.termware.TermWareInstance
return "sys" system.
getTabSize(int) - Method in class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
getTag() - Method in class ua.gradsoft.termware.printers.AbstractPrinter
get tag of output stream
getTerm() - Method in class ua.gradsoft.termware.AbstractComplexTerm
return term
getTerm() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
getTerm() - Method in class ua.gradsoft.termware.AttributedTerm
 
getTerm() - Method in exception ua.gradsoft.termware.exceptions.SubtermNotFoundException
 
getTerm() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
getTerm() - Method in class ua.gradsoft.termware.JTerm
 
getTerm() - Method in class ua.gradsoft.termware.Term
get term.
getTerm() - Method in class ua.gradsoft.termware.util.AbstractRuleTransformer
return representation of this rule as term
getTerm() - Method in class ua.gradsoft.termware.util.ConditionalRuleTransformer
 
getTerm() - Method in class ua.gradsoft.termware.util.RuleTransformer
 
getTerm() - Method in class ua.gradsoft.termware.XTerm
 
getTermFactory() - Method in class ua.gradsoft.termware.TermWareInstance
get TermFactory for this instance.
getTermLoader() - Method in class ua.gradsoft.termware.TermWareInstance
get term loader.
getTerms() - Method in class ua.gradsoft.termware.parsers.xml.terms.TermSAXContentHandler
 
getTermSystem() - Method in class ua.gradsoft.termware.jsr223.TermWareScriptEngine
 
getTermWareException() - Method in exception ua.gradsoft.termware.TermWareRuntimeException
 
getToken(int) - Method in class ua.gradsoft.termware.parsers.terms.TermReader
 
getTypeConversion() - Method in class ua.gradsoft.termware.TermWareInstance
return TypeConversion of this instance.
getValue() - Method in class ua.gradsoft.termware.TermHolder
 
getXIndex() - Method in class ua.gradsoft.termware.AbstractComplexTerm
in this class throws UnsupportedOperationException
getXIndex() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
getXIndex() - Method in class ua.gradsoft.termware.AttributedTerm
 
getXIndex() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
getXIndex() - Method in class ua.gradsoft.termware.JTerm
get x index.
getXIndex() - Method in class ua.gradsoft.termware.Term
if this variable is a propositional variable, return index of one.
getXIndex() - Method in class ua.gradsoft.termware.XTerm
 
getXStringIndex() - Method in class ua.gradsoft.termware.parsers.terms.util.TermParser
return mapping between names and indexes of free variables.
GREATER - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
GREATER_EQ - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
GreaterEqTransformer - Class in ua.gradsoft.termware.transformers.general
greater_eq(x,y) = x >= y
GreaterEqTransformer() - Constructor for class ua.gradsoft.termware.transformers.general.GreaterEqTransformer
 
GreaterTransformer - Class in ua.gradsoft.termware.transformers.general
greater(x,y) = x > y
GreaterTransformer() - Constructor for class ua.gradsoft.termware.transformers.general.GreaterTransformer
 

H

hasNext() - Method in class ua.gradsoft.termware.util.EmptyIterator
 
hasNext() - Method in class ua.gradsoft.termware.util.EmptyTransformerIterator
 
hasNext() - Method in class ua.gradsoft.termware.util.SetTransformerIterator
Deprecated.  
hasNext() - Method in class ua.gradsoft.termware.util.TransformersStarIterator
 
hasOtherwise() - Method in interface ua.gradsoft.termware.ITermRewritingStrategy
if current ruleset contains OTHERWISE($x) entry ? return true if current ruleset contains rule OTHERWISE($x) -> something
hasOtherwise() - Method in class ua.gradsoft.termware.strategies.AbstractTermRewritingStrategy
true, if underlaying transformers include transformer for OTHERWISE keyword.
hasOtherwise() - Method in class ua.gradsoft.termware.util.TransformersStar
 

I

IDENT - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
IEnv - Interface in ua.gradsoft.termware
Interface which incapsulate environment of application input/output/log.
IFacts - Interface in ua.gradsoft.termware
Interface for facts database, called from rules.
IfTransformer - Class in ua.gradsoft.termware.transformers.general
if(x,y,z) ( x ? y : z ) if (x is true - return x, otherwise y);
IfTransformer() - Constructor for class ua.gradsoft.termware.transformers.general.IfTransformer
 
ignorableWhitespace() - Method in class ua.gradsoft.termware.parsers.xml.terms.TermSAXContentHandler
 
IllegalParserNameException - Exception in ua.gradsoft.termware.exceptions
 
IllegalParserNameException(String) - Constructor for exception ua.gradsoft.termware.exceptions.IllegalParserNameException
Creates a new instance of IllegalParserNameException without detail message.
IllegalPrinterNameException - Exception in ua.gradsoft.termware.exceptions
 
IllegalPrinterNameException(String) - Constructor for exception ua.gradsoft.termware.exceptions.IllegalPrinterNameException
Creates a new instance of IllegalPrinterNameException
image - Variable in class ua.gradsoft.termware.parsers.terms.Token
The string image of the token.
IMPORT_RULESET - Static variable in class ua.gradsoft.termware.parsers.xml.terms.TermSAXContentHandler
 
IN - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
inBuf - Variable in class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
IncorrectTermException - Exception in ua.gradsoft.termware.exceptions
Throwed, when some term is internally incorrect.
IncorrectTermException(String) - Constructor for exception ua.gradsoft.termware.exceptions.IncorrectTermException
 
index(Term) - Method in class ua.gradsoft.termware.set.AbstractSetTerm
 
index(Term) - Method in class ua.gradsoft.termware.set.SetOfTerms
 
index(Term) - Method in class ua.gradsoft.termware.set.SetTerm
 
indirectionLevel() - Method in class ua.gradsoft.termware.set.AbstractSetTerm
level of indirection - abstract set term can be setTerm or chain of SetTermWithoutElmenent
indirectionLevel() - Method in class ua.gradsoft.termware.set.SetTerm
 
init() - Method in class ua.gradsoft.termware.TermWareInstance
init instance
init(String[]) - Method in class ua.gradsoft.termware.TermWareInstance
initialize (and parse options before)
INode - Interface in ua.gradsoft.termware.jj
Interface which emulate JavaCC JJTree node.
input_stream - Variable in class ua.gradsoft.termware.parsers.terms.TermReaderTokenManager
 
inputStream - Variable in class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
InputStreamSource - Interface in ua.gradsoft.termware
Source for input stream.
insert(Term) - Method in class ua.gradsoft.termware.set.AbstractSetTerm
 
insert(Term) - Method in class ua.gradsoft.termware.set.SetOfTerms
 
insert(Term) - Method in class ua.gradsoft.termware.set.SetTerm
 
insert(Term, int, Term, TermSystem) - Static method in class ua.gradsoft.termware.transformers.list.ListInsertTransformer
 
insertSmap(byte[], CharSequence) - Static method in class ua.gradsoft.termware.debug.SMAPHelper
 
INSTANCE - Static variable in class ua.gradsoft.termware.transformers.facts.AssignTransformer
 
INSTANCE - Static variable in class ua.gradsoft.termware.transformers.general.ApplyTransformer
 
INSTANCE - Static variable in class ua.gradsoft.termware.transformers.general.ArityTransformer
 
INSTANCE - Static variable in class ua.gradsoft.termware.transformers.general.CloneTransformer
 
INSTANCE - Static variable in class ua.gradsoft.termware.transformers.general.IsListTransformer
 
INSTANCE - Static variable in class ua.gradsoft.termware.transformers.general.IsNilTransformer
 
INSTANCE - Static variable in class ua.gradsoft.termware.transformers.general.JSR223ProgramTransformer
 
INSTANCE - Static variable in class ua.gradsoft.termware.transformers.general.LetTransformer
 
INSTANCE - Static variable in class ua.gradsoft.termware.transformers.general.PlusTransformer
 
INSTANCE - Static variable in class ua.gradsoft.termware.transformers.general.PrintStringTransformer
 
INSTANCE - Static variable in class ua.gradsoft.termware.transformers.general.ToStringTransformer
 
INSTANCE - Static variable in class ua.gradsoft.termware.transformers.general.UnifyTransformer
 
INSTANCE - Static variable in class ua.gradsoft.termware.transformers.general.WhereTransformer
 
INSTANCE - Static variable in class ua.gradsoft.termware.transformers.list.ListAppendTransformer
 
INSTANCE - Static variable in class ua.gradsoft.termware.transformers.list.ListCarTransformer
 
INSTANCE - Static variable in class ua.gradsoft.termware.transformers.list.ListCdrTransformer
 
INSTANCE - Static variable in class ua.gradsoft.termware.transformers.list.ListInsertTransformer
 
INSTANCE - Static variable in class ua.gradsoft.termware.transformers.list.ListLengthTransformer
 
INSTANCE - Static variable in class ua.gradsoft.termware.transformers.list.ReverseTransformer
 
INSTANCE - Static variable in class ua.gradsoft.termware.transformers.list.SublistTransformer
 
INSTANCE - Static variable in class ua.gradsoft.termware.transformers.string.StringConcatTransformer
 
INSTANCE - Static variable in class ua.gradsoft.termware.transformers.string.StringMatchesTransformer
 
instance_ - Variable in class ua.gradsoft.termware.TermLoader
 
INSTANCE_ - Static variable in class ua.gradsoft.termware.transformers.sys.GetCurrentTimeInMillisTransformer
 
instantiateObject(String) - Static method in class ua.gradsoft.termware.util.JavaLangReflectHelper
instantiate Object with given class name using empty constructor
instantiateObject(String, Class, Object) - Static method in class ua.gradsoft.termware.util.JavaLangReflectHelper
instantiate object with given class name, using constructor with one argument of class argClass.
INT - Static variable in class ua.gradsoft.termware.PrimaryTypes
 
INTEGER_LITERAL - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
internalsAtFirst() - Method in class ua.gradsoft.termware.DefaultFacts.MethodTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.strategies.AbstractTermRewritingStrategy
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.DivideTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.EqTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.GreaterEqTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.GreaterTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.IfTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.IsAtomTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.IsBigDecimalTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.IsBigIntegerTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.IsBooleanTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.IsByteTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.IsCharTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.IsDoubleTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.IsFloatTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.IsIntTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.IsJavaObjectTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.IsListTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.IsLongTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.IsNilTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.IsNumberTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.IsShortTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.IsStringTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.IsXTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.LessEqTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.LessTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.LogicalAndTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.LogicalNotTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.MinusTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.ModTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.NeqTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.ToBigDecimalTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.ToBigIntegerTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.ToBooleanTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.ToDoubleTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.ToIntTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.ToLongTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.general.ToStringTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.list.ListAppendTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.list.ListCarTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.list.ListCdrTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.list.ListInsertTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.list.ListLengthTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.list.ReverseTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.list.SublistTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.string.StringConvertTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.string.StringLengthTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.string.StringParseTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.string.StringSplitTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.string.StringSubstTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.sys.DomainTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.sys.GetRulesetTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.sys.JavaFactsTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.sys.JavaStrategyTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.sys.LoadFileTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.sys.PrintTermTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.sys.SetFactTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.sys.SetPropertyTransformer
 
internalsAtFirst() - Method in class ua.gradsoft.termware.transformers.sys.SystemTransformer
 
intersectionGeneral(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.IntersectionTransformer
 
IntersectionTransformer - Class in ua.gradsoft.termware.transformers.general
intersection($x,$y) - intersection of sets $x and $y, i.
IntersectionTransformer() - Constructor for class ua.gradsoft.termware.transformers.general.IntersectionTransformer
 
IntTerm - Class in ua.gradsoft.termware
Term which represent integer value.
InvalidDomainNameException - Exception in ua.gradsoft.termware.exceptions
InvalidDomainNameException is throwed, when we call try to resolve syntaxly invalid (or in some cases - unexistent) domain name
InvalidDomainNameException(String) - Constructor for exception ua.gradsoft.termware.exceptions.InvalidDomainNameException
 
InvalidDomainNameException(Term) - Constructor for exception ua.gradsoft.termware.exceptions.InvalidDomainNameException
 
InvalidFactsNameException - Exception in ua.gradsoft.termware.exceptions
InvalidFactsNameException is throwed, when facts database with name name is not registered in TermWare instance.
InvalidFactsNameException(String) - Constructor for exception ua.gradsoft.termware.exceptions.InvalidFactsNameException
 
InvalidListTermException - Exception in ua.gradsoft.termware.transformers.list
Exception is throwed, when we receive incorrect list term in context, where one is required.
InvalidListTermException(Term) - Constructor for exception ua.gradsoft.termware.transformers.list.InvalidListTermException
 
InvalidOptionException - Exception in ua.gradsoft.termware.exceptions
Thrown, when we have invalid option in command line
InvalidOptionException(String) - Constructor for exception ua.gradsoft.termware.exceptions.InvalidOptionException
 
InvalidStrategyNameException - Exception in ua.gradsoft.termware.exceptions
InvalidStrategyNameException is throwed, when we try to call strategy by name, which is not registered in TermWare instance.
InvalidStrategyNameException(String) - Constructor for exception ua.gradsoft.termware.exceptions.InvalidStrategyNameException
 
InvalidSystemNameException - Exception in ua.gradsoft.termware.exceptions
InvalidSystemNameException is throwed, when we call resolveSystem mon unexistend name.
InvalidSystemNameException(String) - Constructor for exception ua.gradsoft.termware.exceptions.InvalidSystemNameException
 
InvalidTermLoaderClassNameException - Exception in ua.gradsoft.termware.exceptions
Throws during initia;ization or setting own termloader, when
InvalidTermLoaderClassNameException(String) - Constructor for exception ua.gradsoft.termware.exceptions.InvalidTermLoaderClassNameException
Creates a new instance of InvalidTermLoaderClassNameException
InvocationException - Exception in ua.gradsoft.termware.exceptions
InvocationException is throwed from JavaLangReflectHelper, when we can't wrap foreign class into one of our interfaces.
InvocationException(String) - Constructor for exception ua.gradsoft.termware.exceptions.InvocationException
 
InvocationException(Throwable) - Constructor for exception ua.gradsoft.termware.exceptions.InvocationException
 
InvocationException(String, Exception) - Constructor for exception ua.gradsoft.termware.exceptions.InvocationException
 
invoke(Object, Method, Object[]) - Method in class ua.gradsoft.termware.jsr223.TermWareSystemInvocationHandler
 
invoke(Object, Method, Object[]) - Method in class ua.gradsoft.termware.jsr223.TermWareTermInvocationHandler
 
invokeFunction(String, Object...) - Method in class ua.gradsoft.termware.jsr223.TermWareScriptEngine
form term function(arg1,...argN) and try to interpret one.
invokeMethod(Object, String, Object...) - Method in class ua.gradsoft.termware.jsr223.TermWareScriptEngine
 
invokeObjectMethod(Object, Method) - Static method in class ua.gradsoft.termware.util.JavaLangReflectHelper
 
invokeObjectMethod(Object, Method, Object[]) - Static method in class ua.gradsoft.termware.util.JavaLangReflectHelper
 
IParser - Interface in ua.gradsoft.termware
generic interface for custom parsers.
IParserFactory - Interface in ua.gradsoft.termware
IParserFactory: way of creating pluggable interfaces to parsers.
IPrettyPrinter - Interface in ua.gradsoft.termware
PrettyPrinter: output with
IPrettyPrinterFactory - Interface in ua.gradsoft.termware
Factory for pretty printers.
IPrinter - Interface in ua.gradsoft.termware
generic interface for custom term output.
IPrinterFactory - Interface in ua.gradsoft.termware
IPrinterFactory: way of creating pluggable interfaces to custom term outers (printers).
isActionPattern(Term) - Static method in class ua.gradsoft.termware.util.AbstractRuleTransformer
Helper method: check if pattern have form action(x,y).
isAtom() - Method in class ua.gradsoft.termware.AbstractComplexTerm
is this term is Atom ?
isAtom() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
isAtom() - Method in class ua.gradsoft.termware.AtomTerm
true, if term is atom.
isAtom() - Method in class ua.gradsoft.termware.AttributedTerm
 
isAtom() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
isAtom() - Method in class ua.gradsoft.termware.JTerm
if this is atom ?
isAtom() - Method in class ua.gradsoft.termware.Term
is term is atom ?
isAtom() - Method in class ua.gradsoft.termware.XTerm
 
IsAtomTransformer - Class in ua.gradsoft.termware.transformers.general
isAtom(x) = true if term 'x' is atom;
IsAtomTransformer() - Constructor for class ua.gradsoft.termware.transformers.general.IsAtomTransformer
 
isAttributed(Term) - Static method in class ua.gradsoft.termware.TermHelper
return true, if term is attributed.
isBigDecimal() - Method in class ua.gradsoft.termware.AbstractComplexTerm
is this tern is BigDecimal ?
isBigDecimal() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
isBigDecimal() - Method in class ua.gradsoft.termware.AttributedTerm
 
isBigDecimal() - Method in class ua.gradsoft.termware.BigDecimalTerm
is this term represents BigDecimal ?
isBigDecimal() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
isBigDecimal() - Method in class ua.gradsoft.termware.JTerm
if this is BigDecimal
isBigDecimal() - Method in class ua.gradsoft.termware.Term
true, if this term is BigDecimal
isBigDecimal() - Method in class ua.gradsoft.termware.XTerm
 
IsBigDecimalTransformer - Class in ua.gradsoft.termware.transformers.general
isBigDecimal(x) = true if term 'x' is big decimal;
IsBigDecimalTransformer() - Constructor for class ua.gradsoft.termware.transformers.general.IsBigDecimalTransformer
 
isBigInteger() - Method in class ua.gradsoft.termware.AbstractComplexTerm
is this tern is BigInteger ?
isBigInteger() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
isBigInteger() - Method in class ua.gradsoft.termware.AttributedTerm
 
isBigInteger() - Method in class ua.gradsoft.termware.BigIntegerTerm
is this term represents BigInteger ?
isBigInteger() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
isBigInteger() - Method in class ua.gradsoft.termware.JTerm
if this is BigInteger
isBigInteger() - Method in class ua.gradsoft.termware.Term
true, if this term is BigInteger
isBigInteger() - Method in class ua.gradsoft.termware.XTerm
 
IsBigIntegerTransformer - Class in ua.gradsoft.termware.transformers.general
isBigInteger(x) = true if term 'x' is big integer;
IsBigIntegerTransformer() - Constructor for class ua.gradsoft.termware.transformers.general.IsBigIntegerTransformer
 
isBoolean() - Method in class ua.gradsoft.termware.AbstractComplexTerm
is this term is Boolean ?
isBoolean() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
isBoolean() - Method in class ua.gradsoft.termware.AttributedTerm
 
isBoolean() - Method in class ua.gradsoft.termware.BooleanTerm
is this term is boolean ?
isBoolean() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
isBoolean() - Method in class ua.gradsoft.termware.JTerm
 
isBoolean() - Method in class ua.gradsoft.termware.Term
is term is booleam ?
isBoolean() - Method in class ua.gradsoft.termware.XTerm
 
IsBooleanTransformer - Class in ua.gradsoft.termware.transformers.general
isBoolean(x) = true if term 'x' is a boolean term;
IsBooleanTransformer() - Constructor for class ua.gradsoft.termware.transformers.general.IsBooleanTransformer
 
isByte() - Method in class ua.gradsoft.termware.AbstractComplexTerm
is this term is Byte ?
isByte() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
isByte() - Method in class ua.gradsoft.termware.AttributedTerm
 
isByte() - Method in class ua.gradsoft.termware.ByteTerm
is this term represets byte ?
isByte() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
isByte() - Method in class ua.gradsoft.termware.JTerm
if this is Byte
isByte() - Method in class ua.gradsoft.termware.Term
true, if this term is Byte
isByte() - Method in class ua.gradsoft.termware.XTerm
 
IsByteTransformer - Class in ua.gradsoft.termware.transformers.general
isByte(x) = true if term 'x' is a byte;
IsByteTransformer() - Constructor for class ua.gradsoft.termware.transformers.general.IsByteTransformer
 
isChanged() - Method in class ua.gradsoft.termware.TransformationContext
 
isChar() - Method in class ua.gradsoft.termware.AbstractComplexTerm
is this term is Char ?
isChar() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
isChar() - Method in class ua.gradsoft.termware.AttributedTerm
 
isChar() - Method in class ua.gradsoft.termware.CharTerm
 
isChar() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
isChar() - Method in class ua.gradsoft.termware.JTerm
if this is Char
isChar() - Method in class ua.gradsoft.termware.Term
is term is char ?
isChar() - Method in class ua.gradsoft.termware.XTerm
 
IsCharTransformer - Class in ua.gradsoft.termware.transformers.general
isChar(x) = true if term 'x' is char;
IsCharTransformer() - Constructor for class ua.gradsoft.termware.transformers.general.IsCharTransformer
 
isComplexTerm() - Method in class ua.gradsoft.termware.AbstractComplexTerm
is this term is ComplexTerm ?
isComplexTerm() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
isComplexTerm() - Method in class ua.gradsoft.termware.AttributedTerm
 
isComplexTerm() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
isComplexTerm() - Method in class ua.gradsoft.termware.JTerm
 
isComplexTerm() - Method in class ua.gradsoft.termware.Term
true, if this term have subterms
isComplexTerm() - Method in class ua.gradsoft.termware.XTerm
 
isDouble() - Method in class ua.gradsoft.termware.AbstractComplexTerm
is this tern is Double ?
isDouble() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
isDouble() - Method in class ua.gradsoft.termware.AttributedTerm
 
isDouble() - Method in class ua.gradsoft.termware.DoubleTerm
is this term represets Double ?
isDouble() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
isDouble() - Method in class ua.gradsoft.termware.JTerm
 
isDouble() - Method in class ua.gradsoft.termware.Term
is Term is double ?
isDouble() - Method in class ua.gradsoft.termware.XTerm
 
IsDoubleTransformer - Class in ua.gradsoft.termware.transformers.general
isDouble(x) = true if term 'x' is a double value;
IsDoubleTransformer() - Constructor for class ua.gradsoft.termware.transformers.general.IsDoubleTransformer
 
isEmpty() - Method in class ua.gradsoft.termware.set.AbstractSetTerm
 
isEmpty() - Method in class ua.gradsoft.termware.set.SetOfTerms
 
isEmpty() - Method in class ua.gradsoft.termware.set.SetTerm
 
isEmpty() - Method in class ua.gradsoft.termware.Substitution
return true if substitution is empty.
isFloat() - Method in class ua.gradsoft.termware.AbstractComplexTerm
is this term is Float ?
isFloat() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
isFloat() - Method in class ua.gradsoft.termware.AttributedTerm
 
isFloat() - Method in class ua.gradsoft.termware.FloatTerm
is this term represets Float ?
isFloat() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
isFloat() - Method in class ua.gradsoft.termware.JTerm
if this is Float
isFloat() - Method in class ua.gradsoft.termware.Term
is Term is float ?
isFloat() - Method in class ua.gradsoft.termware.XTerm
 
IsFloatTransformer - Class in ua.gradsoft.termware.transformers.general
isFloat(x) = true if term 'x' is a float value;
IsFloatTransformer() - Constructor for class ua.gradsoft.termware.transformers.general.IsFloatTransformer
 
isInDebug() - Static method in class ua.gradsoft.termware.TermWare
If we prepared for rule debug ? When this switch is set, debug stubs is generated via rule processing, to allow source-level debug of rules.
isInt() - Method in class ua.gradsoft.termware.AbstractComplexTerm
is this term is Int ?
isInt() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
isInt() - Method in class ua.gradsoft.termware.AttributedTerm
 
isInt() - Method in class ua.gradsoft.termware.IntTerm
 
isInt() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
isInt() - Method in class ua.gradsoft.termware.JTerm
 
isInt() - Method in class ua.gradsoft.termware.Term
is term is Int ?
isInt() - Method in class ua.gradsoft.termware.XTerm
 
IsIntTransformer - Class in ua.gradsoft.termware.transformers.general
isInt(x) = true if term 'x' is int;
IsIntTransformer() - Constructor for class ua.gradsoft.termware.transformers.general.IsIntTransformer
 
isJavaObject() - Method in class ua.gradsoft.termware.AbstractComplexTerm
is this term is Java Object ?
isJavaObject() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
isJavaObject() - Method in class ua.gradsoft.termware.AttributedTerm
 
isJavaObject() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
isJavaObject() - Method in class ua.gradsoft.termware.JTerm
 
isJavaObject() - Method in class ua.gradsoft.termware.Term
if this term is Java Object ?
isJavaObject() - Method in class ua.gradsoft.termware.XTerm
 
IsJavaObjectTransformer - Class in ua.gradsoft.termware.transformers.general
isJavaObject(x) = true if term 'x' is representation of java object;
IsJavaObjectTransformer() - Constructor for class ua.gradsoft.termware.transformers.general.IsJavaObjectTransformer
 
isLetPattern(Term) - Static method in class ua.gradsoft.termware.util.AbstractRuleTransformer
Helper method: check if pattern have form let(x,y).
IsListTransformer - Class in ua.gradsoft.termware.transformers.general
IsList transformer: 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

J

JAVA_OBJECT - Static variable in class ua.gradsoft.termware.PrimaryTypes
 
JavaCharStream - Class in ua.gradsoft.termware.parsers.terms
An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (with java-like unicode escape processing).
JavaCharStream(Reader, int, int, int) - Constructor for class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
JavaCharStream(Reader, int, int) - Constructor for class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
JavaCharStream(Reader) - Constructor for class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
JavaCharStream(InputStream, String, int, int, int) - Constructor for class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
JavaCharStream(InputStream, int, int, int) - Constructor for class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
JavaCharStream(InputStream, String, int, int) - Constructor for class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
JavaCharStream(InputStream, int, int) - Constructor for class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
JavaCharStream(InputStream, String) - Constructor for class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
JavaCharStream(InputStream) - Constructor for class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
JavaClassNotFoundException - Exception in ua.gradsoft.termware.exceptions
Exception is thrown, when TermWare need some Java class, but it can't be found in current classloader.
JavaClassNotFoundException(String) - Constructor for exception ua.gradsoft.termware.exceptions.JavaClassNotFoundException
Creates a new instance of JavaClassNotFoundException
JavaCompiledFileAndLine - Class in ua.gradsoft.termware.debug
Get file and line for java complied object.
JavaCompiledFileAndLine() - Constructor for class ua.gradsoft.termware.debug.JavaCompiledFileAndLine
 
JavaFactsTransformer - Class in ua.gradsoft.termware.transformers.sys
javaFacts(name,className) add to current environment facts database with name name implemented by java class className
JavaFactsTransformer() - Constructor for class ua.gradsoft.termware.transformers.sys.JavaFactsTransformer
 
javaFname_ - Variable in class ua.gradsoft.termware.debug.DebugStubJavaSourceObject
 
JavaGeneratorHelper - Class in ua.gradsoft.termware.debug
Helper class for generation of Java source code.
JavaGeneratorHelper() - Constructor for class ua.gradsoft.termware.debug.JavaGeneratorHelper
 
JavaLangReflectHelper - Class in ua.gradsoft.termware.util
Helper class for work with java language reflection interfaces.
JavaLangReflectHelper() - Constructor for class ua.gradsoft.termware.util.JavaLangReflectHelper
 
JavaMethodNotFoundException - Exception in ua.gradsoft.termware.exceptions
Exception which throws when TermWare can't find class method with given name and arity.
JavaMethodNotFoundException(Class, String) - Constructor for exception ua.gradsoft.termware.exceptions.JavaMethodNotFoundException
 
JavaStrategyTransformer - Class in ua.gradsoft.termware.transformers.sys
Transformer for javaStrategy(name,className) add to current runtime environment strategy with name name implemented by className
JavaStrategyTransformer() - Constructor for class ua.gradsoft.termware.transformers.sys.JavaStrategyTransformer
 
jj_nt - Variable in class ua.gradsoft.termware.parsers.terms.TermReader
 
jjCreate(int) - Method in class ua.gradsoft.termware.jj.NodeTermFactory
 
jjFillToken() - Method in class ua.gradsoft.termware.parsers.terms.TermReaderTokenManager
 
jjstrLiteralImages - Static variable in class ua.gradsoft.termware.parsers.terms.TermReaderTokenManager
 
jjtAddChildInternal(INode, int) - Method in interface ua.gradsoft.termware.jj.INode
This method tells the node to add its argument to the node's list of children.
jjtAddChildInternal(INode, int) - Method in class ua.gradsoft.termware.jj.NodeTerm
add child at given place.
jjtClose() - Method in interface ua.gradsoft.termware.jj.INode
This method is called after all the child nodes have been added.
jjtClose() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
jjtGetChildInternal(int) - Method in interface ua.gradsoft.termware.jj.INode
This method returns a child node.
jjtGetChildInternal(int) - Method in class ua.gradsoft.termware.jj.NodeTerm
 
jjtGetNumChildren() - Method in interface ua.gradsoft.termware.jj.INode
Return the number of children the node has.
jjtGetNumChildren() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
jjtGetParentInternal() - Method in interface ua.gradsoft.termware.jj.INode
 
jjtGetParentInternal() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
jjtInsertChildInternal(INode, int) - Method in class ua.gradsoft.termware.jj.NodeTerm
Insert node at index 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

K

kind - Variable in class ua.gradsoft.termware.parsers.terms.Token
An integer that describes the kind of this token.

L

LEFT_ARROW - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
LEFT_SHIFT - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
LESS - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
LESS_EQ - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
LessEqTransformer - Class in ua.gradsoft.termware.transformers.general
less_eq(x,y) = x <= y - x less or equal then y
LessEqTransformer() - Constructor for class ua.gradsoft.termware.transformers.general.LessEqTransformer
 
LessTransformer - Class in ua.gradsoft.termware.transformers.general
less(x,y) = x < y
LessTransformer() - Constructor for class ua.gradsoft.termware.transformers.general.LessTransformer
 
LET_INDEX - Static variable in interface ua.gradsoft.termware.TermWareSymbols
index for "let"
LET_STRING - Static variable in interface ua.gradsoft.termware.TermWareSymbols
"let"
LetTransformer - Class in ua.gradsoft.termware.transformers.general
LetTransformer - add argument as rule to current system.
LexicalError(boolean, int, int, int, String, char) - Static method in error ua.gradsoft.termware.parsers.terms.TokenMgrError
Returns a detailed message for the Error when it is thrown by the token manager to indicate a lexical error.
lexStateNames - Static variable in class ua.gradsoft.termware.parsers.terms.TermReaderTokenManager
 
line - Variable in class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
ListAppendTransformer - Class in ua.gradsoft.termware.transformers.list
append(e,l) - append e to the end of l.
ListCarTransformer - Class in ua.gradsoft.termware.transformers.list
car([$x:$y]) -> $x, car([]) -> [] otherwise unchanged
ListCdrTransformer - Class in ua.gradsoft.termware.transformers.list
cdr([$x:$y]) -> $y, cdr(NIL) -> NIL
ListInArrayTerm - Class in ua.gradsoft.termware
List, which look's like cons(x,y) but point to array of terms.
ListInsertTransformer - Class in ua.gradsoft.termware.transformers.list
Insert(e,pos,l) - insert e at pos position in list l.
ListLengthTransformer - Class in ua.gradsoft.termware.transformers.list
length.
ListTerm - Class in ua.gradsoft.termware
Optimized representation for List term.
ListTerm(Term, Term) - Constructor for class ua.gradsoft.termware.ListTerm
 
load(String, IParserFactory, Term) - Method in class ua.gradsoft.termware.TermLoader
 
load(String) - Method in class ua.gradsoft.termware.TermWareInstance
load file with expression in TermWare language.
load(String, IParserFactory, Term) - Method in class ua.gradsoft.termware.TermWareInstance
load file with name 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
 

M

main(String[]) - Static method in class ua.gradsoft.termware.APIGen
 
main(String[]) - Static method in class ua.gradsoft.termware.CMDMain
 
main(String[]) - Static method in class ua.gradsoft.termware.parsers.terms.TermReader
 
MatchingFailure - Exception in ua.gradsoft.termware.exceptions
matching failure.
MatchingFailure(Object, Object) - Constructor for exception ua.gradsoft.termware.exceptions.MatchingFailure
 
maxFv() - Method in class ua.gradsoft.termware.AbstractComplexTerm
 
maxFv() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
maxFv() - Method in class ua.gradsoft.termware.AttributedTerm
 
maxFv() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
maxFv() - Method in class ua.gradsoft.termware.JTerm
 
maxFv() - Method in class ua.gradsoft.termware.set.SetPatternTerm
 
maxFv() - Method in class ua.gradsoft.termware.Term
get maximum index of free propositional variable in term
maxFv() - Method in class ua.gradsoft.termware.XTerm
 
maxNextCharInd - Variable in class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
MAYBE_POSSIBLE - Static variable in class ua.gradsoft.termware.TypeConversion
 
merge(PartialOrderingResult, PartialOrderingResult) - Static method in enum ua.gradsoft.termware.PartialOrderingResult
 
merge(Substitution) - Method in class ua.gradsoft.termware.Substitution
merge current substitution with x
minFv() - Method in class ua.gradsoft.termware.AbstractComplexTerm
 
minFv() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
minFv() - Method in class ua.gradsoft.termware.AttributedTerm
 
minFv() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
minFv() - Method in class ua.gradsoft.termware.JTerm
 
minFv() - Method in class ua.gradsoft.termware.set.SetPatternTerm
 
minFv() - Method in class ua.gradsoft.termware.Term
get minimal index of free propositional variable in term.
minFv() - Method in class ua.gradsoft.termware.XTerm
 
MINUS - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
MinusTransformer - Class in ua.gradsoft.termware.transformers.general
minus transforer.
MinusTransformer() - Constructor for class ua.gradsoft.termware.transformers.general.MinusTransformer
 
MOD - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
ModTransformer - Class in ua.gradsoft.termware.transformers.general
transfromer for mod(x,y) or x%y.
ModTransformer() - Constructor for class ua.gradsoft.termware.transformers.general.ModTransformer
 
MULTIPLY - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
MultiplyTransformer - Class in ua.gradsoft.termware.transformers.general
ariphmetics multiplication.
MultiplyTransformer() - Constructor for class ua.gradsoft.termware.transformers.general.MultiplyTransformer
 

N

NAME - Static variable in class ua.gradsoft.termware.jsr223.TermWareScriptEngineFactory
 
Name - Class in ua.gradsoft.termware
Holds names and indexes, which are synchronized with state of SymbolTable.
Name(String, SymbolAdoptionPolicy) - Constructor for class ua.gradsoft.termware.Name
 
name_ - Variable in class ua.gradsoft.termware.debug.DebugStubJavaSourceObject
short name of class U
NAME_SEPARATOR - Static variable in class ua.gradsoft.termware.TermWare
 
NAMPERSAND - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
NEQ - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
NeqTransformer - Class in ua.gradsoft.termware.transformers.general
Transformer for not equal
NeqTransformer() - Constructor for class ua.gradsoft.termware.transformers.general.NeqTransformer
 
newCurrentSubstitution() - Method in class ua.gradsoft.termware.TransformationContext
 
newToken(int) - Static method in class ua.gradsoft.termware.parsers.terms.Token
Returns a new Token object, by default.
next - Variable in class ua.gradsoft.termware.parsers.terms.Token
A reference to the next regular (non-special) token from the input stream.
next() - Method in class ua.gradsoft.termware.util.EmptyIterator
 
next() - Method in class ua.gradsoft.termware.util.EmptyTransformerIterator
 
next() - Method in class ua.gradsoft.termware.util.SetTransformerIterator
Deprecated.  
next() - Method in class ua.gradsoft.termware.util.TransformersStarIterator
get next transformer
nextCharBuf - Variable in class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
nextCharInd - Variable in class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
NFirstTopsStrategy - Class in ua.gradsoft.termware.strategies
Strategy, which try at first do reduction of first level.
NFirstTopsStrategy() - Constructor for class ua.gradsoft.termware.strategies.NFirstTopsStrategy
 
NFirstTopsStrategy(int) - Constructor for class ua.gradsoft.termware.strategies.NFirstTopsStrategy
 
NIL - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
NIL - Static variable in class ua.gradsoft.termware.PrimaryTypes
 
NIL_INDEX - Static variable in interface ua.gradsoft.termware.TermWareSymbols
index for "NIL"
NIL_STRING - Static variable in interface ua.gradsoft.termware.TermWareSymbols
"NIL"
NILTerm - Class in ua.gradsoft.termware
Term, which represents NIL
NILTerm() - Constructor for class ua.gradsoft.termware.NILTerm
 
NodeTerm - Class in ua.gradsoft.termware.jj
Term which can be instance of JJTree node.
NodeTerm(INode) - Constructor for class ua.gradsoft.termware.jj.NodeTerm
create NodeTerm based on existing node.
NodeTerm(Term) - Constructor for class ua.gradsoft.termware.jj.NodeTerm
credte NodeTerm from normal term.
NodeTerm(int, String) - Constructor for class ua.gradsoft.termware.jj.NodeTerm
create NodeTerm with given id and name
NodeTermFactory - Class in ua.gradsoft.termware.jj
 
non_static_transform(Term, Term, Term, Term, Term, Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.util.ConditionalRuleTransformer
 
normalize(int) - Method in class ua.gradsoft.termware.util.FVSet
 
normalizeFv(int) - Method in class ua.gradsoft.termware.AbstractComplexTerm
 
NOT_POSSIBLE - Static variable in class ua.gradsoft.termware.TypeConversion
 
NTerm - Class in ua.gradsoft.termware
NTerm - extended term, which can be indexed by string attributes, attributed and so on.
NTerm() - Constructor for class ua.gradsoft.termware.NTerm
 
NullFacts - Class in ua.gradsoft.termware
NullFacts - dummy facts.
NullFacts() - Constructor for class ua.gradsoft.termware.NullFacts
Creates a new instance of NullFacts
NUMBER - Static variable in class ua.gradsoft.termware.PrimaryTypes
 

O

openOutputStream() - Method in class ua.gradsoft.termware.debug.BytecodeOutputFileObject
get output stream.
out_ - Variable in class ua.gradsoft.termware.printers.AbstractPrettyPrinter
Child must use API of out_ for output, to use implemented pretty-printing algorithm.
out_ - Variable in class ua.gradsoft.termware.printers.AbstractPrinter
 
outTag_ - Variable in class ua.gradsoft.termware.printers.AbstractPrinter
 

P

packageName_ - Variable in class ua.gradsoft.termware.debug.DebugStubJavaSourceObject
name of pavkage.
ParseException - Exception in ua.gradsoft.termware.parsers.terms
This exception is thrown when parse errors are encountered.
ParseException(Token, int[][], String[]) - Constructor for exception ua.gradsoft.termware.parsers.terms.ParseException
This constructor is used by the method "generateParseException" in the generated parser.
ParseException() - Constructor for exception ua.gradsoft.termware.parsers.terms.ParseException
The following constructors are for use by you for whatever purpose you can think of.
ParseException(String) - Constructor for exception ua.gradsoft.termware.parsers.terms.ParseException
 
parseOptions(String[]) - Method in class ua.gradsoft.termware.CMDMain
 
PARTIALLY_MASK - Static variable in class ua.gradsoft.termware.PrimaryTypes
 
PartialOrderingResult - Enum in ua.gradsoft.termware
Possible results of partial ordering
pattern - Variable in class ua.gradsoft.termware.debug.UnificationDebugStub
 
PLUS - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
PlusTransformer - Class in ua.gradsoft.termware.transformers.general
tramsformer for plus
possible(Object, TermWareInstance) - Method in class ua.gradsoft.termware.TypeConversion.ObjectToNumber
must return one from POSSIBLE, NOT_POSSIBLE, MAYBE_POSSIBLE user can override this method.
possible(Object, TermWareInstance) - Method in class ua.gradsoft.termware.TypeConversion.ObjectToString
must return one from POSSIBLE, NOT_POSSIBLE, MAYBE_POSSIBLE user can override this method.
possible(Object, TermWareInstance) - Method in class ua.gradsoft.termware.TypeConversion.ObjectToTerm
must return one from POSSIBLE, NOT_POSSIBLE, MAYBE_POSSIBLE user can override this method.
POSSIBLE - Static variable in class ua.gradsoft.termware.TypeConversion
 
possible(Term, TermWareInstance) - Method in class ua.gradsoft.termware.TypeConversion.TermToBoolean
must return one from POSSIBLE, NOT_POSSIBLE, MAYBE_POSSIBLE user can override this method.
possible(Term, TermWareInstance) - Method in class ua.gradsoft.termware.TypeConversion.TermToChar
must return one from POSSIBLE, NOT_POSSIBLE, MAYBE_POSSIBLE user can override this method.
possible(Term, TermWareInstance) - Method in class ua.gradsoft.termware.TypeConversion.TermToNumber
must return one from POSSIBLE, NOT_POSSIBLE, MAYBE_POSSIBLE user can override this method.
possible(Term, TermWareInstance) - Method in class ua.gradsoft.termware.TypeConversion.TermToObject
must return one from POSSIBLE, NOT_POSSIBLE, MAYBE_POSSIBLE user can override this method.
possible(Term, TermWareInstance) - Method in class ua.gradsoft.termware.TypeConversion.TermToObjectArray
 
possible(Term, TermWareInstance) - Method in class ua.gradsoft.termware.TypeConversion.TermToString
must return one from POSSIBLE, NOT_POSSIBLE, MAYBE_POSSIBLE user can override this method.
PrettyPrintingBreakType - Enum in ua.gradsoft.termware.printers
 
PrettyPrintingToken - Class in ua.gradsoft.termware.printers
 
PrettyPrintingToken.Kind - Enum in ua.gradsoft.termware.printers
 
PrettyPrintWriter - Class in ua.gradsoft.termware.printers
Writer for pretty printing.
PrettyPrintWriter(PrintWriter) - Constructor for class ua.gradsoft.termware.printers.PrettyPrintWriter
 
prevCharIsCR - Variable in class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
prevCharIsLF - Variable in class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
PrimaryTypes - Class in ua.gradsoft.termware
Enumerations and some utils for primary type system of terms.
PrimaryTypes() - Constructor for class ua.gradsoft.termware.PrimaryTypes
 
print(PrintWriter) - Method in class ua.gradsoft.termware.AbstractComplexTerm
 
print(PrintWriter) - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
print term to out.
print(PrintWriter) - Method in class ua.gradsoft.termware.AtomTerm
 
print(PrintWriter) - Method in class ua.gradsoft.termware.AttributedTerm
 
print(PrintWriter) - Method in class ua.gradsoft.termware.BigDecimalTerm
print term to out
print(PrintWriter) - Method in class ua.gradsoft.termware.BigIntegerTerm
print term to out
print(PrintWriter) - Method in class ua.gradsoft.termware.BooleanTerm
 
print(PrintWriter) - Method in class ua.gradsoft.termware.ByteTerm
print term to out
print(PrintWriter) - Method in class ua.gradsoft.termware.CharTerm
print term to out
print(TransformationContext, Term) - Method in class ua.gradsoft.termware.DefaultFacts
print term to standard output of transformation context.
print(PrintWriter) - Method in class ua.gradsoft.termware.DoubleTerm
print term to out
print(PrintWriter) - Method in class ua.gradsoft.termware.FloatTerm
print term to out
print(PrintWriter) - Method in class ua.gradsoft.termware.IntTerm
 
print(PrintWriter) - Method in class ua.gradsoft.termware.jj.NodeTerm
 
print(PrintWriter) - Method in class ua.gradsoft.termware.JTerm
 
print(PrintWriter) - Method in class ua.gradsoft.termware.LongTerm
print term to out
print(PrintWriter) - Method in class ua.gradsoft.termware.NILTerm
 
print(PrintStream) - Method in class ua.gradsoft.termware.set.SetPatternTerm
 
print(PrintWriter) - Method in class ua.gradsoft.termware.ShortTerm
print term to out
print(PrintWriter) - Method in class ua.gradsoft.termware.StringTerm
print term to out
print(PrintStream) - Method in class ua.gradsoft.termware.Substitution
print substitution to out
print(PrintWriter) - Method in class ua.gradsoft.termware.Substitution
print substitution to out
print(PrintStream) - Method in class ua.gradsoft.termware.Term
print term on out
print(PrintWriter) - Method in class ua.gradsoft.termware.Term
print term on out
print(PrintWriter) - Method in class ua.gradsoft.termware.XTerm
 
printHelp(PrintStream) - Method in class ua.gradsoft.termware.TermSystem
print to 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
 

Q

QUESTION - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 

R

readBoolean() - Method in class ua.gradsoft.termware.parsers.terms.TermReader
boolean: "true" | "false"
ReadByte() - Method in class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
readChar() - Method in class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
readDouble() - Method in class ua.gradsoft.termware.parsers.terms.TermReader
double :
readInteger() - Method in class ua.gradsoft.termware.parsers.terms.TermReader
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.

S

SDEInserter - Class in ua.gradsoft.termware.debug
This helper class inserts SDE (JSR 45 Software Debug Extension attribute) into class bytes.
set(Term, TransformationContext) - Method in class ua.gradsoft.termware.DefaultFacts
 
set(Term, TransformationContext) - Method in interface ua.gradsoft.termware.IFacts
set fact (called from actions in right part of rules)
set(Term, TransformationContext) - Method in class ua.gradsoft.termware.NullFacts
do nothing.
set(Term) - Method in class ua.gradsoft.termware.TermHolder
 
SET_INDEX - Static variable in interface ua.gradsoft.termware.TermWareSymbols
index for "set"
SET_PATTERN_INDEX - Static variable in interface ua.gradsoft.termware.TermWareSymbols
index for "set_pattern"
SET_PATTERN_STRING - Static variable in interface ua.gradsoft.termware.TermWareSymbols
"set_pattern"
SET_STRING - Static variable in interface ua.gradsoft.termware.TermWareSymbols
"set"
setAttribute(String, Term) - Method in interface ua.gradsoft.termware.Attributed
set attribute with name name and value value .
setAttribute(String, Term) - Method in class ua.gradsoft.termware.AttributedTerm
 
setAttribute(String, Term) - Method in class ua.gradsoft.termware.jj.NodeTerm
 
setAttribute(String, String) - Method in class ua.gradsoft.termware.jj.NodeTerm
 
setAttribute(Term, String, Term) - Static method in class ua.gradsoft.termware.TermHelper
set attribute to term.
setAttribute(Term, String, String) - Static method in class ua.gradsoft.termware.TermHelper
set string attribute
setAttribute(Term, String, int) - Static method in class ua.gradsoft.termware.TermHelper
set int attribute
setBeginLine(int) - Method in class ua.gradsoft.termware.debug.SourceCodeLocation
 
setChanged(boolean) - Method in class ua.gradsoft.termware.TransformationContext
 
setCurrentStopFlag(TransformationContext, boolean) - Method in class ua.gradsoft.termware.DefaultFacts
set stop flag of current transformation.
setDebugStream(PrintStream) - Method in class ua.gradsoft.termware.parsers.terms.TermReaderTokenManager
 
setDecimalScale(int) - Method in class ua.gradsoft.termware.TermWareInstance
set target scale for BigDecimal operations.
setDescription(String) - Method in class ua.gradsoft.termware.util.RuleTransformer
 
setDocumentLocator(Locator) - Method in class ua.gradsoft.termware.parsers.xml.terms.TermSAXContentHandler
 
setEndLine(int) - Method in class ua.gradsoft.termware.debug.SourceCodeLocation
 
setEnv(IEnv) - Method in class ua.gradsoft.termware.DefaultFacts
 
setEnv(IEnv) - Method in class ua.gradsoft.termware.TermSystem
set environment for input/output operations.
setEnv(IEnv) - Method in class ua.gradsoft.termware.TermWareInstance
set default environment
setEnv(IEnv) - Method in class ua.gradsoft.termware.TransformationContext
set environment
setFact(Term, TransformationContext) - Method in class ua.gradsoft.termware.TermSystem
set fact t
setFact(String) - Method in class ua.gradsoft.termware.TermSystem
set fact s .
setFacts(IFacts) - Method in class ua.gradsoft.termware.TermSystem
set facts base
SetFactsDebugStub - Class in ua.gradsoft.termware.debug
Debug stub, generated for setting facts.
SetFactsDebugStub(TermSystem, Term, TransformationContext) - Constructor for class ua.gradsoft.termware.debug.SetFactsDebugStub
 
SetFactsDebugStubJavaSourceObject - Class in ua.gradsoft.termware.debug
Source object for applying action.
SetFactsDebugStubJavaSourceObject(String, String, String, SourceCodeLocation) - Constructor for class ua.gradsoft.termware.debug.SetFactsDebugStubJavaSourceObject
 
SetFactTransformer - Class in ua.gradsoft.termware.transformers.sys
Transformer for setFacts setFacts(t1..tn) - reduced to true, with effect of setting into knowledge database of current system facts t1..tn.
SetFactTransformer() - Constructor for class ua.gradsoft.termware.transformers.sys.SetFactTransformer
 
setFileManagerTermWareSourceObject(DebugStubCompilationFileManager, String, Object) - Method in enum ua.gradsoft.termware.debug.DebugStubTypeTraits
 
setFname(String) - Method in class ua.gradsoft.termware.parsers.terms.TermReader
 
setInDebug(boolean) - Static method in class ua.gradsoft.termware.TermWare
set debug switch.
setInput(Reader) - Method in class ua.gradsoft.termware.envs.SystemLogEnv
set input
setLineWidth(int) - Method in class ua.gradsoft.termware.printers.PrettyPrintWriter
 
setLog(PrintWriter) - Method in class ua.gradsoft.termware.envs.SystemLogEnv
set log stream
setLoggedEntities(Collection<String>) - Method in class ua.gradsoft.termware.DefaultFacts
 
setLoggedEntities(Collection<String>) - Method in interface ua.gradsoft.termware.IFacts
set collection of entities to log
setLoggedEntities(Collection<String>) - Method in class ua.gradsoft.termware.NullFacts
do nothing.
setLoggedEntities(Collection<String>) - Method in class ua.gradsoft.termware.TermSystem
 
setLoggedEntity(String) - Method in class ua.gradsoft.termware.DefaultFacts
 
setLoggedEntity(String) - Method in interface ua.gradsoft.termware.IFacts
set entity to log.
setLoggedEntity(String) - Method in class ua.gradsoft.termware.NullFacts
do nothing.
setLoggedEntity(String) - Method in class ua.gradsoft.termware.TermSystem
 
setLoggingMode(boolean) - Method in class ua.gradsoft.termware.DefaultFacts
 
setLoggingMode(boolean) - Method in interface ua.gradsoft.termware.IFacts
enable/disable logging
setLoggingMode(boolean) - Method in class ua.gradsoft.termware.NullFacts
do nothing.
setLoggingMode(boolean) - Method in class ua.gradsoft.termware.TermSystem
 
setName(String) - Method in class ua.gradsoft.termware.util.RuleTransformer
 
SetOfTerms - Class in ua.gradsoft.termware.set
Sorted set of terms.
SetOfTerms() - Constructor for class ua.gradsoft.termware.set.SetOfTerms
 
setOptions(String[]) - Method in class ua.gradsoft.termware.TermWareInstance
 
setOutput(PrintWriter) - Method in class ua.gradsoft.termware.envs.SystemLogEnv
set Output Stream.
setPageWidth(int) - Method in interface ua.gradsoft.termware.IPrettyPrinter
 
setPageWidth(int) - Method in class ua.gradsoft.termware.printers.AbstractPrettyPrinter
 
setParentInstance(TermWareInstance) - Method in class ua.gradsoft.termware.TermWareInstance
set parent instance for this instance.
SetPatternTerm - Class in ua.gradsoft.termware.set
Set pattern: term for expression { $x: $Y }.
SetPropertyTransformer - Class in ua.gradsoft.termware.transformers.sys
Transformer for setProperty.
SetPropertyTransformer() - Constructor for class ua.gradsoft.termware.transformers.sys.SetPropertyTransformer
 
setReduceFacts(boolean) - Method in class ua.gradsoft.termware.TermSystem
if set to true, then facts are reduced by system before passing to facts database in checkFact and setFact methods.
setRoundingMode(int) - Method in class ua.gradsoft.termware.TermWareInstance
set rounding mode, which used in ariphmetic operations.
setStop(boolean) - Method in class ua.gradsoft.termware.TermSystem
 
setStop(boolean) - Method in class ua.gradsoft.termware.TransformationContext
set current stop flag
setSubtermAt(int, Term) - Method in class ua.gradsoft.termware.AbstractComplexTerm
set i-th subterm.
setSubtermAt(int, Term) - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
setSubtermAt(int, Term) - Method in class ua.gradsoft.termware.ArgsPatternTerm
 
setSubtermAt(int, Term) - Method in class ua.gradsoft.termware.AttributedTerm
 
setSubtermAt(int, Term) - Method in class ua.gradsoft.termware.ClassPatternTerm
 
setSubtermAt(int, Term) - Method in class ua.gradsoft.termware.ComplexTerm
 
setSubtermAt(int, Term) - Method in class ua.gradsoft.termware.jj.NodeTerm
 
setSubtermAt(int, Term) - Method in class ua.gradsoft.termware.JTerm
 
setSubtermAt(int, Term) - Method in class ua.gradsoft.termware.ListInArrayTerm
 
setSubtermAt(int, Term) - Method in class ua.gradsoft.termware.ListTerm
 
setSubtermAt(int, Term) - Method in class ua.gradsoft.termware.set.AbstractSetTerm
 
setSubtermAt(int, Term) - Method in class ua.gradsoft.termware.set.SetPatternTerm
 
setSubtermAt(int, Term) - Method in class ua.gradsoft.termware.set.SetTerm
 
setSubtermAt(int, Term) - Method in class ua.gradsoft.termware.Term
set i-th subterm to t when i < arity then throw IndexOutOfBoundsException
setSubtermAt(int, Term) - Method in class ua.gradsoft.termware.XTerm
 
setSymbolAdoptionPolicy(SymbolAdoptionPolicy) - Method in class ua.gradsoft.termware.TermWareInstance
 
setTabSize(int) - Method in class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
SetTerm - Class in ua.gradsoft.termware.set
set term, - subterms are elements of set, ordered in our natural order
SetTerm(Term[]) - Constructor for class ua.gradsoft.termware.set.SetTerm
 
SetTerm() - Constructor for class ua.gradsoft.termware.set.SetTerm
 
SetTerm(SetOfTerms) - Constructor for class ua.gradsoft.termware.set.SetTerm
 
setTermLoaderClassName(String) - Method in class ua.gradsoft.termware.TermWareInstance
ser classname for term loader
setTermWareInstance(TermWareInstance) - Method in class ua.gradsoft.termware.parsers.terms.TermReader
 
SetTransformerIterator - Class in ua.gradsoft.termware.util
Deprecated.  
setValue(Term) - Method in class ua.gradsoft.termware.TermHolder
 
shift(int) - Method in class ua.gradsoft.termware.util.FVSet
 
shiftFv(int) - Method in class ua.gradsoft.termware.AbstractComplexTerm
shift set of propositional variables to start from newMinFv
shiftFv(int) - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
shiftFv(int) - Method in class ua.gradsoft.termware.AttributedTerm
 
shiftFv(int) - Method in class ua.gradsoft.termware.jj.NodeTerm
 
shiftFv(int) - Method in class ua.gradsoft.termware.JTerm
 
shiftFv(int) - Method in class ua.gradsoft.termware.set.SetPatternTerm
 
shiftFv(int) - Method in class ua.gradsoft.termware.Term
renumerate propositional variables in such case, that minFv(shiftFv(t))==newMinFv
shiftFv(int) - Method in class ua.gradsoft.termware.XTerm
 
SHORT - Static variable in class ua.gradsoft.termware.PrimaryTypes
 
ShortTerm - Class in ua.gradsoft.termware
Term, which represend short value with java 'short' semantics.
ShortTerm(short) - Constructor for class ua.gradsoft.termware.ShortTerm
create new instanse of ShortTerm
show(TermWareException) - Method in class ua.gradsoft.termware.envs.SystemEnv
print exceptions on standard output.
show(TermWareException) - Method in class ua.gradsoft.termware.envs.SystemLogEnv
show exception.
show(TermWareException) - Method in interface ua.gradsoft.termware.IEnv
show message of exception ex
smap_ - Variable in class ua.gradsoft.termware.debug.DebugStubJavaSourceObject
smap file
SMAPHelper - Class in ua.gradsoft.termware.debug
Helper for work with JSR-45 SMAP files.
SMAPHelper() - Constructor for class ua.gradsoft.termware.debug.SMAPHelper
 
SourceCodeAccessHelper - Class in ua.gradsoft.termware.debug
Provide helper entries for access to source code.
SourceCodeAccessHelper() - Constructor for class ua.gradsoft.termware.debug.SourceCodeAccessHelper
 
SourceCodeLocation - Class in ua.gradsoft.termware.debug
Location of some entity in source code.
SourceCodeLocation(String, int, int) - Constructor for class ua.gradsoft.termware.debug.SourceCodeLocation
 
specialConstructor - Variable in exception ua.gradsoft.termware.parsers.terms.ParseException
This variable determines which constructor was used to create this object and thereby affects the semantics of the "getMessage" method (see below).
specialToken - Variable in class ua.gradsoft.termware.parsers.terms.Token
This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.
startDocument() - Method in class ua.gradsoft.termware.parsers.xml.terms.TermSAXContentHandler
 
startElement(String, String, String, Attributes) - Method in class ua.gradsoft.termware.parsers.xml.terms.TermSAXContentHandler
 
startLineSection(PrintWriter) - Static method in class ua.gradsoft.termware.debug.SMAPHelper
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.facts.AssignTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.ApplyTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.ArityTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.CloneTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.DivideTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.GreaterEqTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.GreaterTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.IfTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.IntersectionTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.IsAtomTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.IsBigDecimalTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.IsBigIntegerTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.IsBooleanTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.IsByteTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.IsCharTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.IsDoubleTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.IsFloatTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.IsIntTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.IsJavaObjectTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.IsListTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.IsLongTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.IsNilTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.IsNumberTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.IsShortTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.IsStringTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.IsXTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.JSR223ProgramTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.LessEqTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.LessTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.LetTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.LogicalAndTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.LogicalNotTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.LogicalOrTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.MinusTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.ModTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.MultiplyTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.PlusTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.PrintStringTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.ReduceTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.TermNameTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.ToBigDecimalTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.ToBigIntegerTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.ToBooleanTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.ToDoubleTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.ToIntTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.ToLongTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.ToStringTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.list.ListAppendTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.list.ListCarTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.list.ListCdrTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.list.ListInsertTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.list.ListLengthTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.list.ReverseTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.list.SublistTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.string.StringConcatTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.string.StringConvertTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.string.StringLengthTransformer
if t is string - transform one to length of string.
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.string.StringMatchesTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.string.StringParseTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.string.StringSplitTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.string.StringSubstTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.sys.DomainTransformer
 
static_transform(Term, TermSystem, TransformationContext, Domain) - Static method in class ua.gradsoft.termware.transformers.sys.DomainTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.sys.GetCurrentTimeInMillisTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.sys.GetPropertyTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.sys.GetRulesetTransformer
transform getRuleset(t) to set-term with all rules from t
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.sys.JavaFactsTransformer
 
static_transform(Term, TermSystem, TransformationContext, Domain) - Static method in class ua.gradsoft.termware.transformers.sys.JavaFactsTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.sys.JavaStrategyTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.sys.LoadFileTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.sys.PrintTermTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.sys.SetFactTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.sys.SetPropertyTransformer
 
static_transform(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.sys.SystemTransformer
 
static_transform(Term, TermSystem, TransformationContext, Domain) - Static method in class ua.gradsoft.termware.transformers.sys.SystemTransformer
 
static_transform_addrule(Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.LetTransformer
 
static_transform_conditional_rule(Term, Term, Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.ApplyTransformer
 
static_transform_jcall(Term, Object, Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.ApplyTransformer
 
static_transform_letexpr(Term, Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.LetTransformer
 
static_transform_rule(Term, Term, Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.ApplyTransformer
 
static_transform_systemcall(Term, Term, Term, TermSystem, TransformationContext) - Static method in class ua.gradsoft.termware.transformers.general.ApplyTransformer
 
staticFlag - Static variable in class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
staticTransform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.UnifyTransformer
 
STRING - Static variable in class ua.gradsoft.termware.PrimaryTypes
 
STRING_LITERAL - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
StringConcatTransformer - Class in ua.gradsoft.termware.transformers.string
Transformer for string::concat
StringConvertTransformer - Class in ua.gradsoft.termware.transformers.string
Transformer for String::convert - convert argument to string representation, (by call ITermHelper.termToString)
StringConvertTransformer() - Constructor for class ua.gradsoft.termware.transformers.string.StringConvertTransformer
 
StringIndex - Class in ua.gradsoft.termware.parsers.terms.util
 
StringIndex() - Constructor for class ua.gradsoft.termware.parsers.terms.util.StringIndex
 
StringLengthTransformer - Class in ua.gradsoft.termware.transformers.string
Transformer for string.length length(s)='length of string s'
StringLengthTransformer() - Constructor for class ua.gradsoft.termware.transformers.string.StringLengthTransformer
 
StringMatchesTransformer - Class in ua.gradsoft.termware.transformers.string
 
StringParseTransformer - Class in ua.gradsoft.termware.transformers.string
Transformer for string::parse string.parse("x+y")=x+y when parsing is not possible - throw exception.
StringParseTransformer() - Constructor for class ua.gradsoft.termware.transformers.string.StringParseTransformer
 
StringSplitTransformer - Class in ua.gradsoft.termware.transformers.string
Transformer for string.split string.split(s,re) - split string s by regular expression re
StringSplitTransformer() - Constructor for class ua.gradsoft.termware.transformers.string.StringSplitTransformer
 
StringSubstTransformer - Class in ua.gradsoft.termware.transformers.string
Transformer for String.subst code string::subst(s,x,y) replace all occurences of regular exptression x to y in s and return changed string.
StringSubstTransformer() - Constructor for class ua.gradsoft.termware.transformers.string.StringSubstTransformer
 
StringTerm - Class in ua.gradsoft.termware
Term which contains string.
StringTerm(String) - Constructor for class ua.gradsoft.termware.StringTerm
constructor
stringToName(String) - Static method in class ua.gradsoft.termware.TermHelper
transform string in form (x/y/z) to form _name(x,y,z);
SublistTransformer - Class in ua.gradsoft.termware.transformers.list
Transformer for sublist.
subst(Substitution) - Method in class ua.gradsoft.termware.AbstractComplexTerm
receive new term, which is sibstution of current term and s
subst(Substitution) - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
substitution
subst(Substitution) - Method in class ua.gradsoft.termware.AttributedTerm
 
subst(Substitution) - Method in class ua.gradsoft.termware.jj.NodeTerm
 
subst(Substitution) - Method in class ua.gradsoft.termware.JTerm
receive new term, which is sibstution of current term and s
subst(Substitution) - Method in class ua.gradsoft.termware.set.SetPatternTerm
 
subst(Substitution) - Method in class ua.gradsoft.termware.Term
receive new term, which is sibstution of current term and s
subst(Substitution) - Method in class ua.gradsoft.termware.XTerm
 
substInside(Substitution) - Method in class ua.gradsoft.termware.AbstractComplexTerm
apply substitution s to current term.
substInside(Substitution) - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
substInside(Substitution) - Method in class ua.gradsoft.termware.AttributedTerm
 
substInside(Substitution) - Method in class ua.gradsoft.termware.jj.NodeTerm
 
substInside(Substitution) - Method in class ua.gradsoft.termware.JTerm
apply substitution s to current term.
substInside(Substitution) - Method in class ua.gradsoft.termware.set.AbstractSetTerm
apply substitution s to current term.
substInside(Substitution) - Method in class ua.gradsoft.termware.set.SetPatternTerm
apply substitution s to current term.
substInside(Substitution) - Method in class ua.gradsoft.termware.set.SetTerm
apply substitution s to current term.
substInside(Substitution) - Method in class ua.gradsoft.termware.Term
apply substitution s to current term.
substInside(Substitution) - Method in class ua.gradsoft.termware.XTerm
apply substitution s to current term.
substitution - Variable in class ua.gradsoft.termware.debug.SubstitutionDebugStub
 
substitution - Variable in class ua.gradsoft.termware.debug.UnificationDebugStub
 
Substitution - Class in ua.gradsoft.termware
Substitution of propositional variables.
Substitution() - Constructor for class ua.gradsoft.termware.Substitution
constructor
SubstitutionDebugStub - Class in ua.gradsoft.termware.debug
Base for debug stub which generated for substitution.
SubstitutionDebugStub(Term, Substitution) - Constructor for class ua.gradsoft.termware.debug.SubstitutionDebugStub
 
SubstitutionDebugStubJavaSourceObject - Class in ua.gradsoft.termware.debug
Debug stub for substitutions.
SubstitutionDebugStubJavaSourceObject(String, String, String, SourceCodeLocation) - Constructor for class ua.gradsoft.termware.debug.SubstitutionDebugStubJavaSourceObject
Creates a new instance of SubstitutionDebugStubJavaSourceObject
SubtermNotFoundException - Exception in ua.gradsoft.termware.exceptions
 
SubtermNotFoundException(Term, Object) - Constructor for exception ua.gradsoft.termware.exceptions.SubtermNotFoundException
 
SwitchTo(int) - Method in class ua.gradsoft.termware.parsers.terms.TermReaderTokenManager
 
SymbolAdoptionPolicy - Enum in ua.gradsoft.termware
SymbolAdoptionPolicy define constant wich determinate relations of symbols (i.
SymbolTable - Class in ua.gradsoft.termware
Symbol table for TermWare.
SymbolTable.Entry - Class in ua.gradsoft.termware
entry for name in symbol table.
sysReduce(Term) - Method in class ua.gradsoft.termware.TermWareInstance
reduce term t by default system.
system - Variable in class ua.gradsoft.termware.debug.ConditionDebugStub
 
SYSTEM - Static variable in class ua.gradsoft.termware.parsers.xml.terms.TermSAXContentHandler
 
SYSTEM_TEXT - Static variable in class ua.gradsoft.termware.parsers.xml.terms.TermSAXContentHandler
 
SystemEnv - Class in ua.gradsoft.termware.envs
environment, which write output to System.out , read input from System.in and write log to System.err
SystemEnv() - Constructor for class ua.gradsoft.termware.envs.SystemEnv
 
SystemLogEnv - Class in ua.gradsoft.termware.envs
the same as SystemEnv, but in addition set input, output and log streams to appropriative files.
SystemLogEnv() - Constructor for class ua.gradsoft.termware.envs.SystemLogEnv
 
SystemLogEnv(Term) - Constructor for class ua.gradsoft.termware.envs.SystemLogEnv
t must be nil, or must look like
SystemTransformer - Class in ua.gradsoft.termware.transformers.sys
Transformer for system definiton term.
SystemTransformer() - Constructor for class ua.gradsoft.termware.transformers.sys.SystemTransformer
 

T

tabSize - Variable in class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
term - Variable in class ua.gradsoft.termware.debug.SubstitutionDebugStub
 
term - Variable in class ua.gradsoft.termware.debug.UnificationDebugStub
 
Term - Class in ua.gradsoft.termware
Basic class for Term - universal representation of term (elementary TermWare object).
Term() - Constructor for class ua.gradsoft.termware.Term
 
TermBinaryDispath - Interface in ua.gradsoft.termware.util
 
TermBinaryDispathHelper - Class in ua.gradsoft.termware.util
Helper for dispath.
TermBinaryDispathHelper() - Constructor for class ua.gradsoft.termware.util.TermBinaryDispathHelper
 
TermBinaryFunction - Interface in ua.gradsoft.termware.util
Abstract interface for binary functions on terms.
termClone() - Method in class ua.gradsoft.termware.AbstractComplexTerm
do 'deep-clone' of object.
termClone() - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
clone
termClone() - Method in class ua.gradsoft.termware.ArgsPatternTerm
 
termClone() - Method in class ua.gradsoft.termware.AtomTerm
return self, since atoms are immutable.
termClone() - Method in class ua.gradsoft.termware.AttributedTerm
 
termClone() - Method in class ua.gradsoft.termware.BigDecimalTerm
since BigDecimal is immutable - return this.
termClone() - Method in class ua.gradsoft.termware.BigIntegerTerm
since BigInteger is immutable - return this.
termClone() - Method in class ua.gradsoft.termware.BooleanTerm
since boolean is immutable, return this.
termClone() - Method in class ua.gradsoft.termware.ByteTerm
since byte is immutable - return this.
termClone() - Method in class ua.gradsoft.termware.CharTerm
Char is immutable, so return this.
termClone() - Method in class ua.gradsoft.termware.ClassPatternTerm
 
termClone() - Method in class ua.gradsoft.termware.ComplexTerm
 
termClone() - Method in class ua.gradsoft.termware.DoubleTerm
since double is immutable - return this.
termClone() - Method in class ua.gradsoft.termware.FloatTerm
since double is immutable - return this.
termClone() - Method in class ua.gradsoft.termware.IntTerm
int is immutable, so return this.
termClone() - Method in class ua.gradsoft.termware.jj.NodeTerm
 
termClone() - Method in class ua.gradsoft.termware.JTerm
 
termClone() - Method in class ua.gradsoft.termware.ListInArrayTerm
 
termClone() - Method in class ua.gradsoft.termware.ListTerm
 
termClone() - Method in class ua.gradsoft.termware.LongTerm
since long is immutable - return this.
termClone() - Method in class ua.gradsoft.termware.NILTerm
since term is immutable - do nothing
termClone() - Method in class ua.gradsoft.termware.set.AbstractSetTerm
 
termClone() - Method in class ua.gradsoft.termware.set.SetPatternTerm
 
termClone() - Method in class ua.gradsoft.termware.ShortTerm
since short is immutable - return this.
termClone() - Method in class ua.gradsoft.termware.StringTerm
String is immutable, so return this.
termClone() - Method in class ua.gradsoft.termware.Term
deep clone of term.
termClone() - Method in class ua.gradsoft.termware.XTerm
 
termCompare(Term) - Method in class ua.gradsoft.termware.AbstractComplexTerm
compare function.
termCompare(Term) - Method in class ua.gradsoft.termware.AbstractPrimitiveTerm
 
termCompare(Term) - Method in class ua.gradsoft.termware.AtomTerm
universal compare this and t
termCompare(Term) - Method in class ua.gradsoft.termware.AttributedTerm
 
termCompare(Term) - Method in class ua.gradsoft.termware.BigDecimalTerm
 
termCompare(Term) - Method in class ua.gradsoft.termware.BigIntegerTerm
 
termCompare(Term) - Method in class ua.gradsoft.termware.BooleanTerm
 
termCompare(Term) - Method in class ua.gradsoft.termware.ByteTerm
 
termCompare(Term) - Method in class ua.gradsoft.termware.CharTerm
 
termCompare(Term) - Method in class ua.gradsoft.termware.DoubleTerm
 
termCompare(Term) - Method in class ua.gradsoft.termware.FloatTerm
 
termCompare(Term) - Method in class ua.gradsoft.termware.IntTerm
 
termCompare(Term) - Method in class ua.gradsoft.termware.jj.NodeTerm
 
termCompare(Term) - Method in class ua.gradsoft.termware.JTerm
 
termCompare(Term) - Method in class ua.gradsoft.termware.LongTerm
 
termCompare(Term) - Method in class ua.gradsoft.termware.NILTerm
 
termCompare(Term) - Method in class ua.gradsoft.termware.ShortTerm
 
termCompare(Term) - Method in class ua.gradsoft.termware.StringTerm
 
termCompare(Term) - Method in class ua.gradsoft.termware.Term
compare functions.
termCompare(Term) - Method in class ua.gradsoft.termware.XTerm
 
TermCondition - Interface in ua.gradsoft.termware.util
*Interface for callback of check function.
TermFactory - Class in ua.gradsoft.termware
Factory for terms.
TermHelper - Class in ua.gradsoft.termware
Helper class for terms operations
TermHelper() - Constructor for class ua.gradsoft.termware.TermHelper
 
TermHolder - Class in ua.gradsoft.termware
Holder for Term
TermHolder(Term) - Constructor for class ua.gradsoft.termware.TermHolder
 
TermIndexOutOfBoundsException - Exception in ua.gradsoft.termware.exceptions
throwed, when we try access unexistent index.
TermIndexOutOfBoundsException(Object, int) - Constructor for exception ua.gradsoft.termware.exceptions.TermIndexOutOfBoundsException
 
TermLoader - Class in ua.gradsoft.termware
Abstract class for loading of terms from extern al storage.
TermLoader() - Constructor for class ua.gradsoft.termware.TermLoader
 
TermLocationDirection - Enum in ua.gradsoft.termware.debug
Where generate mapping of code to term: from dirst or last line ?
TermNameTransformer - Class in ua.gradsoft.termware.transformers.general
name(t(x1..xn)) = t
TermNameTransformer() - Constructor for class ua.gradsoft.termware.transformers.general.TermNameTransformer
 
TermParseException - Exception in ua.gradsoft.termware.exceptions
 
TermParseException(String) - Constructor for exception ua.gradsoft.termware.exceptions.TermParseException
 
TermParseException(String, Exception) - Constructor for exception ua.gradsoft.termware.exceptions.TermParseException
 
TermParser - Class in ua.gradsoft.termware.parsers.terms.util
 
TermParserFactory - Class in ua.gradsoft.termware.parsers.terms.util
Parser factory for terms.
TermParserFactory() - Constructor for class ua.gradsoft.termware.parsers.terms.util.TermParserFactory
 
TermReader - Class in ua.gradsoft.termware.parsers.terms
Parser for TermWare language.
TermReader(InputStream, String, int, TermWareInstance) - Constructor for class ua.gradsoft.termware.parsers.terms.TermReader
 
TermReader(Reader, String, int, TermWareInstance) - Constructor for class ua.gradsoft.termware.parsers.terms.TermReader
 
TermReader(InputStream) - Constructor for class ua.gradsoft.termware.parsers.terms.TermReader
 
TermReader(InputStream, String) - Constructor for class ua.gradsoft.termware.parsers.terms.TermReader
 
TermReader(Reader) - Constructor for class ua.gradsoft.termware.parsers.terms.TermReader
 
TermReader(TermReaderTokenManager) - Constructor for class ua.gradsoft.termware.parsers.terms.TermReader
 
TermReaderConstants - Interface in ua.gradsoft.termware.parsers.terms
 
TermReaderTokenManager - Class in ua.gradsoft.termware.parsers.terms
 
TermReaderTokenManager(JavaCharStream) - Constructor for class ua.gradsoft.termware.parsers.terms.TermReaderTokenManager
 
TermReaderTokenManager(JavaCharStream, int) - Constructor for class ua.gradsoft.termware.parsers.terms.TermReaderTokenManager
 
TermReaderUtils - Class in ua.gradsoft.termware.parsers.terms.util
 
TermReaderUtils() - Constructor for class ua.gradsoft.termware.parsers.terms.util.TermReaderUtils
 
TermSAXContentHandler - Class in ua.gradsoft.termware.parsers.xml.terms
 
TermSAXContentHandler(TermWareInstance) - Constructor for class ua.gradsoft.termware.parsers.xml.terms.TermSAXContentHandler
Creates a new instance of TermSAXContentHandler
TermSAXParseException - Exception in ua.gradsoft.termware.exceptions
Exception which is throwed
TermSAXParseException(SAXException) - Constructor for exception ua.gradsoft.termware.exceptions.TermSAXParseException
Creates a new instance of TermSAXParseException
TermSystem - Class in ua.gradsoft.termware
TermSystem is set < rules,facts,strategy,env > where rules - set of rewriting rules. strategy - strategy for applying of this rules.
TermSystem(ITermRewritingStrategy, IFacts, TermWareInstance) - Constructor for class ua.gradsoft.termware.TermSystem
create new instance of ITermSystem
TermSystem(ITermRewritingStrategy, IFacts) - Constructor for class ua.gradsoft.termware.TermSystem
create new instance of ITermSystem in default TermWare environment.
termToPrettyString(Term, String, Term) - Static method in class ua.gradsoft.termware.TermHelper
pretty print t
termToPrettyString(Term) - Static method in class ua.gradsoft.termware.TermHelper
 
termToString(Term) - Static method in class ua.gradsoft.termware.TermHelper
print into string.
TERMWARE - Static variable in class ua.gradsoft.termware.parsers.xml.terms.TermSAXContentHandler
 
TermWare - Class in ua.gradsoft.termware
Singleton for termware
TermWare() - Constructor for class ua.gradsoft.termware.TermWare
 
TERMWARE_TEXT - Static variable in class ua.gradsoft.termware.parsers.xml.terms.TermSAXContentHandler
 
TermWareException - Exception in ua.gradsoft.termware
Base class for all TermWare exceptions.
TermWareException() - Constructor for exception ua.gradsoft.termware.TermWareException
 
TermWareException(String) - Constructor for exception ua.gradsoft.termware.TermWareException
 
TermWareException(String, Throwable) - Constructor for exception ua.gradsoft.termware.TermWareException
 
TermWareInstance - Class in ua.gradsoft.termware
Instance for TermWare-wide general work.
TermWareInstance() - Constructor for class ua.gradsoft.termware.TermWareInstance
 
TermWarePrinter - Class in ua.gradsoft.termware.printers.terms
Pretty printer for TermWare expressions.
TermWarePrinter(PrintWriter, String) - Constructor for class ua.gradsoft.termware.printers.terms.TermWarePrinter
Creates a new instance of TermWarePrinter
TermWarePrinterFactory - Class in ua.gradsoft.termware.printers.terms
Factory for printers of termware expressions.
TermWarePrinterFactory() - Constructor for class ua.gradsoft.termware.printers.terms.TermWarePrinterFactory
Creates a new instance of TermWarePrinterFactory
TermWareRuntimeException - Exception in ua.gradsoft.termware
Runtime holder for TermWare exceptions.
TermWareRuntimeException(Exception) - Constructor for exception ua.gradsoft.termware.TermWareRuntimeException
 
TermWareScriptEngine - Class in ua.gradsoft.termware.jsr223
JSR-223 Compatible scripting engine.
TermWareScriptEngineFactory - Class in ua.gradsoft.termware.jsr223
JSR 223 compatible ScriptEngine factory for termware.
TermWareScriptEngineFactory() - Constructor for class ua.gradsoft.termware.jsr223.TermWareScriptEngineFactory
 
TermWareSymbols - Interface in ua.gradsoft.termware
Constants, which used in TermWare stadard expressions.
TermWareSystemInvocationHandler - Class in ua.gradsoft.termware.jsr223
Invocation handler for TermSystem.
TermWareSystemInvocationHandler(TermSystem, TermWareScriptEngine) - Constructor for class ua.gradsoft.termware.jsr223.TermWareSystemInvocationHandler
Creates a new instance of TermWareSystemInvocationHandler
TermWareTermInvocationHandler - Class in ua.gradsoft.termware.jsr223
Term invocation handler.
TermWareTermInvocationHandler(Term, TermWareScriptEngine) - Constructor for class ua.gradsoft.termware.jsr223.TermWareTermInvocationHandler
Creates a new instance of TermWareInvokable
ToBigDecimalTransformer - Class in ua.gradsoft.termware.transformers.general
transformer for converting terms to big decimal terms.
ToBigDecimalTransformer() - Constructor for class ua.gradsoft.termware.transformers.general.ToBigDecimalTransformer
 
ToBigIntegerTransformer - Class in ua.gradsoft.termware.transformers.general
transformer for converting terms to big integer terms.
ToBigIntegerTransformer() - Constructor for class ua.gradsoft.termware.transformers.general.ToBigIntegerTransformer
 
ToBooleanTransformer - Class in ua.gradsoft.termware.transformers.general
transformer for converting numeric and string values to boolean
ToBooleanTransformer() - Constructor for class ua.gradsoft.termware.transformers.general.ToBooleanTransformer
 
ToDoubleTransformer - Class in ua.gradsoft.termware.transformers.general
transformer for converting to double terms.
ToDoubleTransformer() - Constructor for class ua.gradsoft.termware.transformers.general.ToDoubleTransformer
 
ToIntTransformer - Class in ua.gradsoft.termware.transformers.general
transformer for converting to int terms.
ToIntTransformer() - Constructor for class ua.gradsoft.termware.transformers.general.ToIntTransformer
 
token - Variable in class ua.gradsoft.termware.parsers.terms.TermReader
 
Token - Class in ua.gradsoft.termware.parsers.terms
Describes the input token stream.
Token() - Constructor for class ua.gradsoft.termware.parsers.terms.Token
 
token2String(String) - Static method in class ua.gradsoft.termware.parsers.terms.util.TermReaderUtils
 
token_source - Variable in class ua.gradsoft.termware.parsers.terms.TermReader
 
tokenImage - Variable in exception ua.gradsoft.termware.parsers.terms.ParseException
This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred.
tokenImage - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
TokenMgrError - Error in ua.gradsoft.termware.parsers.terms
 
TokenMgrError() - Constructor for error ua.gradsoft.termware.parsers.terms.TokenMgrError
 
TokenMgrError(String, int) - Constructor for error ua.gradsoft.termware.parsers.terms.TokenMgrError
 
TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error ua.gradsoft.termware.parsers.terms.TokenMgrError
 
ToLongTransformer - Class in ua.gradsoft.termware.transformers.general
transformer for converting terms to big integer terms.
ToLongTransformer() - Constructor for class ua.gradsoft.termware.transformers.general.ToLongTransformer
 
TOP - Static variable in class ua.gradsoft.termware.parsers.xml.terms.TermSAXContentHandler
 
TopDownStrategy - Class in ua.gradsoft.termware.strategies
at first transform top terms, than subterms.
TopDownStrategy() - Constructor for class ua.gradsoft.termware.strategies.TopDownStrategy
 
toString() - Method in class ua.gradsoft.termware.AtomTerm
 
toString() - Method in class ua.gradsoft.termware.CharTerm
 
toString() - Method in class ua.gradsoft.termware.parsers.terms.Token
Returns the image.
toString() - Method in class ua.gradsoft.termware.printers.PrettyPrintingToken
 
toString() - Method in class ua.gradsoft.termware.Substitution
 
ToStringTransformer - Class in ua.gradsoft.termware.transformers.general
transformer for converting to string terms.
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.DefaultFacts.MethodTransformer
transform term t in system system with transformation context ctx
transform(Term, TermSystem, TransformationContext) - Method in interface ua.gradsoft.termware.ITermRewritingStrategy
transform t
transform(Term, TermSystem, TransformationContext) - Method in interface ua.gradsoft.termware.ITermTransformer
attempt to transform term t .
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.strategies.AbstractTermRewritingStrategy
main work of strategy is here: transform term t in system by applying transformers in 'Star' via subclass-specific algorithm.
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.strategies.BTStrategy
 
transform(Term, TermSystem, TransformationContext, int) - Method in class ua.gradsoft.termware.strategies.BTStrategy
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.strategies.FirstTopStrategy
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.strategies.NFirstTopsStrategy
 
transform(Term, TermSystem, TransformationContext, int, int) - Method in class ua.gradsoft.termware.strategies.NFirstTopsStrategy
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.strategies.TopDownStrategy
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.facts.AssignTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.ApplyTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.ArityTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.CloneTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.DivideTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.EqTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.GreaterEqTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.GreaterTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.IfTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.IntersectionTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.IsAtomTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.IsBigDecimalTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.IsBigIntegerTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.IsBooleanTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.IsByteTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.IsCharTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.IsDoubleTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.IsFloatTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.IsIntTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.IsJavaObjectTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.IsListTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.IsLongTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.IsNilTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.IsNumberTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.IsShortTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.IsStringTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.IsXTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.JSR223ProgramTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.LessEqTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.LessTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.LetTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.LogicalAndTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.LogicalNotTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.LogicalOrTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.MinusTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.ModTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.MultiplyTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.NeqTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.PlusTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.PrintStringTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.ReduceTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.TermNameTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.ToBigDecimalTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.ToBigIntegerTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.ToBooleanTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.ToDoubleTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.ToIntTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.ToLongTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.ToStringTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.UnifyTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.general.WhereTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.list.ListAppendTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.list.ListCarTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.list.ListCdrTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.list.ListInsertTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.list.ListLengthTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.list.ReverseTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.list.SublistTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.string.StringConcatTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.string.StringConvertTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.string.StringLengthTransformer
if t is string - transform one to length of string.
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.string.StringMatchesTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.string.StringParseTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.string.StringSplitTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.string.StringSubstTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.sys.DomainTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.sys.GetCurrentTimeInMillisTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.sys.GetPropertyTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.sys.GetRulesetTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.sys.JavaFactsTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.sys.JavaStrategyTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.sys.LoadFileTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.sys.PrintTermTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.sys.SetFactTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.sys.SetPropertyTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.transformers.sys.SystemTransformer
in t must be system definition.
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.util.AbstractRuleTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.util.ConditionalRuleTransformer
 
transform(Term, TermSystem, TransformationContext) - Method in class ua.gradsoft.termware.util.RuleTransformer
 
transformationContext - Variable in class ua.gradsoft.termware.debug.ConditionDebugStub
 
TransformationContext - Class in ua.gradsoft.termware
Context of term transformation.
TransformationContext() - Constructor for class ua.gradsoft.termware.TransformationContext
Creates a new instance of TransformationContext
TransformerDescription - Annotation Type in ua.gradsoft.termware.annotations
Used to set description of transformer.
TransformerName - Annotation Type in ua.gradsoft.termware.annotations
This annotation is used to set name of transformer.
TransformersSet - Class in ua.gradsoft.termware.util
Set of transformers, ordered by: concrete order of pattern, for rule-based transformers.
TransformersSet() - Constructor for class ua.gradsoft.termware.util.TransformersSet
 
TransformersStar - Class in ua.gradsoft.termware.util
this is map, where key is pattern-name for transformers.
TransformersStar() - Constructor for class ua.gradsoft.termware.util.TransformersStar
constructor
TransformersStarIterator - Class in ua.gradsoft.termware.util
Iterator of transformers, which walk throught all sets.
TRUE - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
TWO_DIVIDE - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
TWO_DOTS - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
TWO_TWO_DOTS - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
TypeConversion - Class in ua.gradsoft.termware
Conversion rules between terms and java objects.
TypeConversion.ObjectToNumber - Class in ua.gradsoft.termware
 
TypeConversion.ObjectToNumber() - Constructor for class ua.gradsoft.termware.TypeConversion.ObjectToNumber
 
TypeConversion.ObjectToString - Class in ua.gradsoft.termware
 
TypeConversion.ObjectToString() - Constructor for class ua.gradsoft.termware.TypeConversion.ObjectToString
 
TypeConversion.ObjectToTerm - Class in ua.gradsoft.termware
callback class for object to term conversion.
TypeConversion.ObjectToTerm() - Constructor for class ua.gradsoft.termware.TypeConversion.ObjectToTerm
 
TypeConversion.TermToBoolean - Class in ua.gradsoft.termware
 
TypeConversion.TermToBoolean() - Constructor for class ua.gradsoft.termware.TypeConversion.TermToBoolean
 
TypeConversion.TermToChar - Class in ua.gradsoft.termware
user can set subclass of this class to receive default mapping from terms to chars.
TypeConversion.TermToChar() - Constructor for class ua.gradsoft.termware.TypeConversion.TermToChar
 
TypeConversion.TermToNumber - Class in ua.gradsoft.termware
 
TypeConversion.TermToNumber() - Constructor for class ua.gradsoft.termware.TypeConversion.TermToNumber
 
TypeConversion.TermToObject - Class in ua.gradsoft.termware
 
TypeConversion.TermToObject() - Constructor for class ua.gradsoft.termware.TypeConversion.TermToObject
 
TypeConversion.TermToObjectArray - Class in ua.gradsoft.termware
Callback class for specifying conversions of terms to array.
TypeConversion.TermToObjectArray() - Constructor for class ua.gradsoft.termware.TypeConversion.TermToObjectArray
 
TypeConversion.TermToString - Class in ua.gradsoft.termware
 
TypeConversion.TermToString() - Constructor for class ua.gradsoft.termware.TypeConversion.TermToString
 

U

ua.gradsoft.termware - package ua.gradsoft.termware
Top-level package for TermWare system.
ua.gradsoft.termware.annotations - package ua.gradsoft.termware.annotations
annotations, used in termware.
ua.gradsoft.termware.debug - package ua.gradsoft.termware.debug
Implementation of debug subsystem.
ua.gradsoft.termware.envs - package ua.gradsoft.termware.envs
Environments, bundled with TermWare
ua.gradsoft.termware.exceptions - package ua.gradsoft.termware.exceptions
 
ua.gradsoft.termware.jj - package ua.gradsoft.termware.jj
classes, which do integration of termware terms with javacc based parsers a easy task.
ua.gradsoft.termware.jsr223 - package ua.gradsoft.termware.jsr223
Implementation of JSR 223 Scripting for the Java(tm) Platform.
ua.gradsoft.termware.parsers - package ua.gradsoft.termware.parsers
parsers for building languages.
ua.gradsoft.termware.parsers.terms - package ua.gradsoft.termware.parsers.terms
parser for static termware language.
ua.gradsoft.termware.parsers.terms.util - package ua.gradsoft.termware.parsers.terms.util
 
ua.gradsoft.termware.parsers.xml.generic - package ua.gradsoft.termware.parsers.xml.generic
utilities, related to xml parsing.
ua.gradsoft.termware.parsers.xml.terms - package ua.gradsoft.termware.parsers.xml.terms
parser for static termware language embedd into xml, as required by JSR 94
ua.gradsoft.termware.printers - package ua.gradsoft.termware.printers
built-in printers.
ua.gradsoft.termware.printers.terms - package ua.gradsoft.termware.printers.terms
 
ua.gradsoft.termware.set - package ua.gradsoft.termware.set
classes, related to set terms.
ua.gradsoft.termware.strategies - package ua.gradsoft.termware.strategies
built-in termware strategies.
ua.gradsoft.termware.termloaders - package ua.gradsoft.termware.termloaders
builtin loaders.
ua.gradsoft.termware.transformers.facts - package ua.gradsoft.termware.transformers.facts
 
ua.gradsoft.termware.transformers.general - package ua.gradsoft.termware.transformers.general
 
ua.gradsoft.termware.transformers.list - package ua.gradsoft.termware.transformers.list
 
ua.gradsoft.termware.transformers.string - package ua.gradsoft.termware.transformers.string
 
ua.gradsoft.termware.transformers.sys - package ua.gradsoft.termware.transformers.sys
 
ua.gradsoft.termware.util - package ua.gradsoft.termware.util
 
unAttribute() - Method in class ua.gradsoft.termware.AttributedTerm
 
UNDERSCORE_NAME_INDEX - Static variable in interface ua.gradsoft.termware.TermWareSymbols
index for '_name'
UNDERSCORE_NAME_STRING - Static variable in interface ua.gradsoft.termware.TermWareSymbols
_name
unescapeX(Term) - Static method in class ua.gradsoft.termware.TermHelper
change _x(i) entites to $i
UNIFICATION_MASK - Static variable in class ua.gradsoft.termware.PrimaryTypes
 
UnificationDebugStub - Class in ua.gradsoft.termware.debug
Base for unification debug stub.
UnificationDebugStub(Term, Term, Substitution) - Constructor for class ua.gradsoft.termware.debug.UnificationDebugStub
 
UnificationDebugStubJavaSourceObject - Class in ua.gradsoft.termware.debug
Source object for java debug stubs.
UnificationDebugStubJavaSourceObject(String, String, String, SourceCodeLocation) - Constructor for class ua.gradsoft.termware.debug.UnificationDebugStubJavaSourceObject
Creates a new instance of UnificationDebugStubJavaSourceObject
UnifyTransformer - Class in ua.gradsoft.termware.transformers.general
unify(x,y) - do unification of x with y, filling current substitution if necessory.
UNKNOWN - Static variable in class ua.gradsoft.termware.debug.SourceCodeLocation
 
unsetLoggedEntity(String) - Method in class ua.gradsoft.termware.DefaultFacts
 
unsetLoggedEntity(String) - Method in interface ua.gradsoft.termware.IFacts
unset entity to log.
unsetLoggedEntity(String) - Method in class ua.gradsoft.termware.NullFacts
do nothing.
unsetLoggedEntity(String) - Method in class ua.gradsoft.termware.TermSystem
 
UpdateLineColumn(char) - Method in class ua.gradsoft.termware.parsers.terms.JavaCharStream
 
usage() - Static method in class ua.gradsoft.termware.CMDMain
print information about options to standart error stream.

V

valueOf(String) - Static method in enum ua.gradsoft.termware.debug.DebugStubTypeTraits
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ua.gradsoft.termware.debug.TermLocationDirection
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ua.gradsoft.termware.PartialOrderingResult
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ua.gradsoft.termware.printers.PrettyPrintingBreakType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ua.gradsoft.termware.printers.PrettyPrintingToken.Kind
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ua.gradsoft.termware.SymbolAdoptionPolicy
Returns the enum constant of this type with the specified name.
values() - Static method in enum ua.gradsoft.termware.debug.DebugStubTypeTraits
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ua.gradsoft.termware.debug.TermLocationDirection
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ua.gradsoft.termware.PartialOrderingResult
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ua.gradsoft.termware.printers.PrettyPrintingBreakType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ua.gradsoft.termware.printers.PrettyPrintingToken.Kind
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ua.gradsoft.termware.SymbolAdoptionPolicy
Returns an array containing the constants of this enum type, in the order they are declared.
VERSION - Static variable in class ua.gradsoft.termware.TermWare
 

W

WHERE_INDEX - Static variable in interface ua.gradsoft.termware.TermWareSymbols
index for "where"
WHERE_STRING - Static variable in interface ua.gradsoft.termware.TermWareSymbols
"where"
WhereTransformer - Class in ua.gradsoft.termware.transformers.general
Perform assigments
writeTerm(Term) - Method in interface ua.gradsoft.termware.IPrinter
output term t
writeTerm(Term) - Method in class ua.gradsoft.termware.printers.AbstractPrinter
write term
writeTerm(Term) - Method in class ua.gradsoft.termware.printers.terms.TermWarePrinter
 
WS - Static variable in class ua.gradsoft.termware.printers.AbstractPrinter
whitespace.

X

X - Static variable in class ua.gradsoft.termware.PrimaryTypes
 
X_LITERAL - Static variable in interface ua.gradsoft.termware.parsers.terms.TermReaderConstants
 
XMLParseUtil - Class in ua.gradsoft.termware.parsers.xml.generic
Class of usefull utilities, need during XML parsing.
XMLParseUtil() - Constructor for class ua.gradsoft.termware.parsers.xml.generic.XMLParseUtil
 
XMLTermParser - Class in ua.gradsoft.termware.parsers.xml.terms
Parser interface for XML representation of TermWare rules.
XMLTermParser(Reader, String, TermWareInstance) - Constructor for class ua.gradsoft.termware.parsers.xml.terms.XMLTermParser
 
XMLTermParserFactory - Class in ua.gradsoft.termware.parsers.xml.terms
Implementation of ITermParserFactory for XML terms representation.
XMLTermParserFactory() - Constructor for class ua.gradsoft.termware.parsers.xml.terms.XMLTermParserFactory
 
XMLTermWareEntityResolver - Class in ua.gradsoft.termware.parsers.xml.terms
 
XMLTermWareEntityResolver() - Constructor for class ua.gradsoft.termware.parsers.xml.terms.XMLTermWareEntityResolver
 
XTerm - Class in ua.gradsoft.termware
Term, which represent propositional variable.

A B C D E F G H I J K L M N O P Q R S T U V W X