Uses of Interface
ix.util.Function1

Packages that use Function1

ix.icore	I-X core classes.
ix.icore.domain	Domain descriptions.
ix.icore.process	Classes for representing processes.
ix.ip2	I-X Process Panels
ix.iplan	The I-X planner.
ix.test	Simple applications for testing purposes.
ix.util	General-purpose utilities.
ix.util.lisp	List-processing utilities.
ix.util.match	Pattern-matching utilities.
ix.util.xml	XML utilities.

Uses of Function1 in ix.icore

Methods in ix.icore with parameters of type Function1

Issue

Issue.instantiate(MatchEnv env, Function1 ifUnbound)

Uses of Function1 in ix.icore.domain

Methods in ix.icore.domain with parameters of type Function1

Refinement	Refinement.instantiate(MatchEnv env, Function1 ifUnbound) Returns a copy of this refinement in which each ItemVar that has a value in the MatchEnv has been replaced by that value.
PatternAssignment	PatternAssignment.instantiate(MatchEnv env, Function1 ifUnbound)
NodeSpec	NodeSpec.instantiate(MatchEnv env, Function1 ifUnbound)
java.lang.Object	Instantiable.instantiate(MatchEnv env, Function1 ifUnbound)
Constraint	Constraint.instantiate(MatchEnv env, Function1 ifUnbound)

Uses of Function1 in ix.icore.process

Classes in ix.icore.process that implement Function1

protected class

PNode.MakeVarIfUnbound

Uses of Function1 in ix.ip2

Methods in ix.ip2 with parameters of type Function1

java.util.SortedSet	ObjectView.getInitialObjects(java.util.Map worldState, Function1 lookup)
java.util.SortedSet	ObjectView.getNewObjects(java.util.Map newState, java.util.Set knownObjects, Function1 lookup)
boolean	ObjectView.isRelevantObject(java.lang.Object obj, Function1 lookup)

Uses of Function1 in ix.iplan

Methods in ix.iplan with parameters of type Function1

(package private) void

DomainAnalyser.askLoop(java.lang.String resultDescr, Function1 f)

Uses of Function1 in ix.test

Classes in ix.test that implement Function1

(package private) class

SimpleRSim.RecordIfUnbound

Uses of Function1 in ix.util

Fields in ix.util declared as Function1

static Function1

Fn.identity The identity function.

Methods in ix.util that return Function1

static Function1	Fn.accessor(java.lang.Class c, java.lang.String methodName) Returns a function that calls the 0-argument method specified by a class and method name.
static Function1	Fn.always(java.lang.Object value) Returns a function that always returns the same value.
static Function1	Seq.elementAdder(Collector c)
static Function1	Collect.toFunction(java.util.Map m) Returns a function based on the map.

Methods in ix.util with parameters of type Function1

void	FanComposer.apply(Function1 f)
static java.lang.String	Collect.elementsToString(java.util.Collection c, Function1 f) Returns the toString() representation of the elements of the collection as transformed by the function and separated by commas.
static void	Seq.forEach(java.util.Enumeration e, Function1 f) Applies a Function1 to each element of an Enumeration and discards the results.
static DirectedGraph	Graphs.makeDirectedGraph(java.util.Collection roots, Function1 f) Makes a directed graph from a collection of root vertices and a function that maps each vertex to its successors.
static java.util.Collection	Collect.map(java.util.Collection result, java.util.Collection c, Function1 f) Returns the result collection after adding the values returned by a function applied to each element of another collection.
static java.util.Collection	Collect.map(java.util.Collection c, Function1 f) Returns a new collection of the same class as the original and with corresponding elements obtained by calling the specified function.
static java.util.Enumeration	Seq.map(java.util.Enumeration e, Function1 f) Takes an Enumeration e and a Function1 f and returns a "wrapper" Enumeration w such that each element of w is the result of calling f on the corresponding element of e.

Uses of Function1 in ix.util.lisp

Subinterfaces of Function1 in ix.util.lisp

protected static interface

LListCollector.adderFunction

Methods in ix.util.lisp that return Function1

Function1	LListCollector.elementAdder()
Function1	LListCollector.elementPusher()
Function1	LListCollector.llistAppender()
Function1	LListCollector.llistConcer()

Methods in ix.util.lisp with parameters of type Function1

LList	LList.flatmap(Function1 f)
LList	LList.mapc(Function1 f)
LList	LList.mapcar(Function1 f)
LList	LList.mapTree(Function1 f)
void	LList.walkTree(Function1 f)

Uses of Function1 in ix.util.match

Methods in ix.util.match with parameters of type Function1

java.lang.Object	MatchEnv.instantiate(java.lang.Object obj, Function1 ifUnbound)
java.lang.Object	MatchEnv.instantiateTree(java.lang.Object tree, Function1 ifUnbound)

Uses of Function1 in ix.util.xml

Fields in ix.util.xml declared as Function1

protected Function1	XMLTranslator.postfilter
protected Function1	XMLTranslator.prefilter

Methods in ix.util.xml with parameters of type Function1

void	XMLTranslator.setPostfilter(Function1 f)
void	XMLTranslator.setPrefilter(Function1 f)