Package ua.gradsoft.termware

Top-level package for TermWare system.

See:
Description

Interface Summary

Attributed	Interface for entities, which can holds attributes.
IEnv	Interface which incapsulate environment of application input/output/log.
IFacts	Interface for facts database, called from rules.
InputStreamSource	Source for input stream.
IParser	generic interface for custom parsers.
IParserFactory	IParserFactory: way of creating pluggable interfaces to parsers.
IPrettyPrinter	PrettyPrinter: output with
IPrettyPrinterFactory	Factory for pretty printers.
IPrinter	generic interface for custom term output.
IPrinterFactory	IPrinterFactory: way of creating pluggable interfaces to custom term outers (printers).
ITermRewritingStrategy	general interface for rewriting strategy
ITermTransformer	interface for build-in operations or rules.
ITermWareException	Marker interface for TermWare exception
TermWareSymbols	Constants, which used in TermWare stadard expressions.

Class Summary

AbstractBuildinTransformer	Abstract transformer for build-in operations.
AbstractComplexTerm	Abstract complex term.
AbstractPrimitiveTerm	this is abstract class for primitive term (i.
APIGen	Generator of HTML Help API for TermWare systems.
ArgsPatternTerm	This term is used for unification of subterms of compired term to list.
AtomTerm	Term, which represent atom.
AttributedTerm	Term with attributes.
BigDecimalTerm	Term, which represend BigDecimal value.
BigIntegerTerm	Term, which represend value with java.math.BigInteger semantics.
BooleanTerm	Term for representation of boolean value.
ByteTerm	Term, which represend byte value with java 'byte' semantics.
CharTerm	Term which contains char.
ClassPatternTerm	Term for class pattern.
CMDMain	Command line TermWare interpeter.
ComplexTerm	Generic complex term (i.
DefaultFacts	this is Facts database, which accept next types of terms: sys Terms (i.
DefaultFacts.MethodTransformer	Transformer, wrapped arround method.
Domain	Domain - hierarchical placement of Term Systems and Facts
DoubleTerm	Term, which represend floating point value with java 'double' semantics.
FloatTerm	Term, which represend floating point value with java 'float' semantics.
IntTerm	Term which represent integer value.
JTerm	Term wich incapsulate opaque Java Object.
ListInArrayTerm	List, which look's like cons(x,y) but point to array of terms.
ListTerm	Optimized representation for List term.
LongTerm	Term, which represend value with java 'long' semantics.
Name	Holds names and indexes, which are synchronized with state of SymbolTable.
NILTerm	Term, which represents NIL
NTerm	NTerm - extended term, which can be indexed by string attributes, attributed and so on.
NullFacts	NullFacts - dummy facts.
PrimaryTypes	Enumerations and some utils for primary type system of terms.
ShortTerm	Term, which represend short value with java 'short' semantics.
StringTerm	Term which contains string.
Substitution	Substitution of propositional variables.
SymbolTable	Symbol table for TermWare.
SymbolTable.Entry	entry for name in symbol table.
Term	Basic class for Term - universal representation of term (elementary TermWare object).
TermFactory	Factory for terms.
TermHelper	Helper class for terms operations
TermHolder	Holder for Term
TermLoader	Abstract class for loading of terms from extern al storage.
TermSystem	TermSystem is set < rules,facts,strategy,env > where rules - set of rewriting rules. strategy - strategy for applying of this rules.
TermWare	Singleton for termware
TermWareInstance	Instance for TermWare-wide general work.
TransformationContext	Context of term transformation.
TypeConversion	Conversion rules between terms and java objects.
TypeConversion.ObjectToNumber
TypeConversion.ObjectToString
TypeConversion.TermToBoolean
TypeConversion.TermToChar	user can set subclass of this class to receive default mapping from terms to chars.
TypeConversion.TermToNumber
TypeConversion.TermToObject
TypeConversion.TermToObjectArray	Callback class for specifying conversions of terms to array.
TypeConversion.TermToString
XTerm	Term, which represent propositional variable.

Enum Summary

PartialOrderingResult	Possible results of partial ordering
SymbolAdoptionPolicy	SymbolAdoptionPolicy define constant wich determinate relations of symbols (i.

Exception Summary

TermWareException	Base class for all TermWare exceptions.
TermWareRuntimeException	Runtime holder for TermWare exceptions.

Package ua.gradsoft.termware Description

Top-level package for TermWare system. provide defintions for main entities.

See Also:

Term, TermSystem, TermWareInstance, TermFactory