Uses of Class
com.declarativa.interprolog.TermModel

Packages that use TermModel

Package	Description
com.declarativa.interprolog
com.declarativa.interprolog.examples
com.declarativa.interprolog.gui
com.declarativa.interprolog.util

Uses of TermModel in com.declarativa.interprolog

Subclasses of TermModel in com.declarativa.interprolog

Modifier and Type	Class and Description
class	InitiallyFlatTermModel A TermModel specialization so serialization is done faster, based on string representations of the term.

Fields in com.declarativa.interprolog declared as TermModel

Modifier and Type	Field and Description
TermModel[]	TermModel.children public for convenience, but should not be set outside this class; children == null means children == new TermModel[0]
TermModel	TermModel.root The TermModel containing this; relevant to define variable scope.

Methods in com.declarativa.interprolog that return TermModel

Modifier and Type	Method and Description
TermModel	AbstractPrologEngine.deterministicGoal(TermModel G) Useful for inter-Prolog goal calling through Java.
TermModel	PrologEngine.deterministicGoal(TermModel G) Useful for inter-Prolog goal calling through Java.
TermModel[]	TermModel.flatList() Flattens this list into a new TermModel array, but not completely: the result may still contain lists
static TermModel[]	TermModel.flatList(TermModel list) Flattens a list into a TermModel array, but not completely: the result may still contain lists
TermModel	FloraSubprocessEngine.floraDeterministicGoal(String FG, String FloraOutputVar)
TermModel[]	FloraSubprocessEngine.floraDeterministicGoal(String FG, String FloraInputVars, TermModel[] terms, String FloraOutputVars) Execute Flora goal FG, binding terms to the variables in FloraInputVars, and returning as many TermModels as vars in FloraOutputVars.
TermModel[]	TermModel.getChildren()
static TermModel[]	InitiallyFlatTermModel.getTermList(File F) Get a TermModel array previously written by Prolog with ipPutTermList(L,FilePath)
static TermModel	TermModel.makeList(ArrayList<TermModel> terms) Make a binary (non flat) list
static TermModel	TermModel.makeList(TermModel[] terms) Make a binary (non flat) list
static TermModel	TermModel.makeList(Vector<TermModel> terms)

Methods in com.declarativa.interprolog with parameters of type TermModel

Modifier and Type	Method and Description
void	TermModel.addChildren(TermModel[] more) Add children to this term node; a new children array is created and old children are copied to it
void	TermModel.assignTermChanges(TermModel other) Assuming this and the other terms are structurally similar, replaces variable nodes in this term by corresponding nonvar nodes.
String	LPSEngine.cycleHook(int T, TermModel[] fluents, TermModel[] actions)
String	LPSEngine.cycleHook(int T, TermModel[] fluents, TermModel[] actions)
void	TermModel.deleteChildren(TermModel[] less) Removes the children in array; it finds children to remove by using the equivalent of Prolog's ==.
static void	TermModel.destroy(TermModel[] children)
TermModel	AbstractPrologEngine.deterministicGoal(TermModel G) Useful for inter-Prolog goal calling through Java.
TermModel	PrologEngine.deterministicGoal(TermModel G) Useful for inter-Prolog goal calling through Java.
static TreePath	TermModel.findPathForNode(String label, TermModel tree, boolean exactMatch)
static TermModel[]	TermModel.flatList(TermModel list) Flattens a list into a TermModel array, but not completely: the result may still contain lists
TermModel[]	FloraSubprocessEngine.floraDeterministicGoal(String FG, String FloraInputVars, TermModel[] terms, String FloraOutputVars) Execute Flora goal FG, binding terms to the variables in FloraInputVars, and returning as many TermModels as vars in FloraOutputVars.
String	LPSEngine.CycleHandler.handleCycle(int T, TermModel[] fluents, TermModel[] actions) Notification that LPS is starting a cycle, reporting the current state and last actions, and returning input events for LPS to continue.
String	LPSEngine.CycleHandler.handleCycle(int T, TermModel[] fluents, TermModel[] actions) Notification that LPS is starting a cycle, reporting the current state and last actions, and returning input events for LPS to continue.
static TermModel	TermModel.makeList(TermModel[] terms) Make a binary (non flat) list
static Hashtable<String,Object>	TermModel.props2Hashtable(TermModel[] terms)
void	TermModel.setChild(int index, TermModel child) Set the child, notifying TermModelListeners
void	TermModel.setChildren(TermModel[] c) Set the children array, notifying TermModelListeners
void	TermModel.setRoot(TermModel r) Set the root variables of nodes in this subterm to refer r as their root
void	TermModelListener.termChanged(TermModel source)
boolean	TermModel.unifies(TermModel term) If two terms, each with nonrepeated variables, are unifiable, this method returns true.
boolean	TermModel.variant(TermModel tx)
boolean	TermModel.variant(TermModel tx, Map<VariableNode,VariableNode> myVars)

Method parameters in com.declarativa.interprolog with type arguments of type TermModel

Modifier and Type	Method and Description
static TermModel	TermModel.makeList(ArrayList<TermModel> terms) Make a binary (non flat) list
static TermModel	TermModel.makeList(Vector<TermModel> terms)

Constructors in com.declarativa.interprolog with parameters of type TermModel

Constructor and Description
InitiallyFlatTermModel(Object n, TermModel[] c, boolean isAList)
TermModel(Object n, TermModel[] c)
TermModel(Object n, TermModel[] c, boolean isAList)

Constructor parameters in com.declarativa.interprolog with type arguments of type TermModel

Constructor and Description
TermModel(Object n, Vector<TermModel> v)

Uses of TermModel in com.declarativa.interprolog.examples

Fields in com.declarativa.interprolog.examples declared as TermModel

Modifier and Type	Field and Description
static TermModel[]	DataSourceExample.bigArray

Methods in com.declarativa.interprolog.examples that return TermModel

Modifier and Type	Method and Description
static TermModel[]	DataSourceExample.getBigArray()

Methods in com.declarativa.interprolog.examples that return types with arguments of type TermModel

Modifier and Type	Method and Description
static ArrayList<TermModel>	DataSourceExample.getBuffer()

Uses of TermModel in com.declarativa.interprolog.gui

Methods in com.declarativa.interprolog.gui that return TermModel

Modifier and Type	Method and Description
TermModel	TermListModel.getElementAt(int index)

Methods in com.declarativa.interprolog.gui with parameters of type TermModel

Modifier and Type	Method and Description
boolean	EngineInspectionWindow.refresh(PredicateTableModel memory, TermModel G) Receives some status information about the Prolog engine.

Constructors in com.declarativa.interprolog.gui with parameters of type TermModel

Constructor and Description
PredicateTableModel(TermModel template, TermModel[] tuples)
PredicateTableModel(TermModel template, TermModel[] tuples)
TermListModel(TermModel[] terms)
TermModelWindow(TermModel tm)
TermModelWindow(TermModel tm, PrologEngine e)
TermTreeModel(TermModel root, TermTreeModel[] children)
XSBTableModel(TermModel root, TermTreeModel[] children, String state)

Uses of TermModel in com.declarativa.interprolog.util

Methods in com.declarativa.interprolog.util that return TermModel

Modifier and Type	Method and Description
TermModel[]	OutOfBandTermResource.getTermList()