Uses of Interface
standup.unify.Unifiable

Packages that use Unifiable

standup.joke	This package provides joke generation functionality and all its related data structures.
standup.lexicon	This package provides classes and interfaces that handle access and manipulation of the STANDUP lexicon.
standup.sql	Provides classes and interfaces that handle access to the STANDUP lexical database, currently implemented as a relational database using PostgreSQL server.
standup.unify	This package provides unification facilities used during the STANDUP joke generation process.

Uses of Unifiable in standup.joke

Classes in standup.joke that implement Unifiable

class	JokeGraphNode A node in a JokeGraph.
class	JokeGraphNodeKeyword A node in a JokeGraph.
class	JokeGraphNodeTemplate A node in a JokeGraph that represents a span of 'canned' text that arose during template filling.
class	Precondition A Precondition represents a lexical precondition as used to define Schemas and output specification function Clauses.

Methods in standup.joke that return Unifiable

Unifiable	JokeGraphNodeTemplate.duplicate()
Unifiable	JokeGraphNodeKeyword.duplicate()

Methods in standup.joke with parameters of type Unifiable

private StructElement	Generator.elaborateTemplateItem(UnifiableConstant bString, Unifiable bsuccNODE, JokeGraph g)
List<Clause>	Generator.getCompatibleClauses(Unifiable func, int arity) Returns a list of Clauses that are 'compatible' with the given functor and arity, i.e they share the same functor and arity.

Uses of Unifiable in standup.lexicon

Classes in standup.lexicon that implement Unifiable

class	Keyword A Keyword is an object appearing in a WordStruct that is not 'canned' or 'filler' text.
class	Lexeme A Lexeme is a specific sense, or meaning of a word.
class	WordForm A WordForm is a word with a unique orthographic and phonetic spelling.
class	WordString A simple String representing the orthography of a word.

Methods in standup.lexicon that return Unifiable

Unifiable

Keyword.duplicate() An implementation of duplicate().

Uses of Unifiable in standup.sql

Subinterfaces of Unifiable in standup.sql

interface

SQLSelectElement This interface represents an item in a SQL SELECT clause

Classes in standup.sql that implement Unifiable

class

SQLSelectVarField This class represents an item in a SQL SELECT clause.

Methods in standup.sql that return Unifiable

Unifiable

SQLSelectVarField.duplicate()

Uses of Unifiable in standup.unify

Classes in standup.unify that implement Unifiable

class	UnifiableCompound Implementation of compound object.
class	UnifiableConstant Represents a unifiable String constant.
class	UnifiableList Represents a unifiable list.
class	UnifiableListVar Represents a unifiable list of UnifiableVariables.
class	UnifiableVariable Represents a unifiable variable.

Fields in standup.unify declared as Unifiable

protected Unifiable

UnifiableCompound.functor

Fields in standup.unify with type parameters of type Unifiable

(package private) Hashtable<UnifiableVariable,Unifiable>	Bindings.bindings
protected List<? extends Unifiable>	UnifiableList.elements

Methods in standup.unify that return Unifiable

Unifiable	Bindings.dereference(Unifiable old) Returns the result of unification by applying the values in this bindings to the given Unifiable.
private Unifiable	Bindings.dereference(UnifiableVariable W)
Unifiable	Unifiable.duplicate()
(package private) Unifiable	UnifiableList.first()
Unifiable	UnifiableList.get(int idx)
(package private) Unifiable	Bindings.get(UnifiableVariable key)
Unifiable	UnifiableCompound.getFunctor()

Methods in standup.unify that return types with arguments of type Unifiable

Iterator<? extends Unifiable>

UnifiableList.getIterator()

Methods in standup.unify with parameters of type Unifiable

Unifiable	Bindings.dereference(Unifiable old) Returns the result of unification by applying the values in this bindings to the given Unifiable.
private static boolean	Unification.occurCheck(UnifiableVariable v, Unifiable x)
(package private) void	Bindings.put(UnifiableVariable Key, Unifiable Value)
boolean	Bindings.replace(UnifiableVariable variable, Unifiable oldValue, Unifiable newValue) Replaces all bindings to oldValue with bindings to newValue.
static Bindings	Unification.unify(Unifiable x, Unifiable y) Unifies x and y and returns the resulting Bindings.
static Bindings	Unification.unify(Unifiable x, Unifiable y, Bindings b) Unifies x and y using the bindings built so far in b, and returns the resulting Bindings.
private static Bindings	Unification.unifyVar(UnifiableVariable v, Unifiable x, Bindings b)

Constructors in standup.unify with parameters of type Unifiable

UnifiableCompound(Unifiable P, List<? extends Unifiable> A)

UnifiableCompound(Unifiable P, UnifiableList A)

Constructor parameters in standup.unify with type arguments of type Unifiable

Bindings(Hashtable<UnifiableVariable,Unifiable> BB)

UnifiableCompound(Unifiable P, List<? extends Unifiable> A)

UnifiableList(List<? extends Unifiable> els)