Uses of Class
edu.mit.csail.sdg.alloy4compiler.ast.Func

Packages that use Func

edu.mit.csail.sdg.alloy4compiler.ast	This package contains the definition of AST nodes.
edu.mit.csail.sdg.alloy4compiler.parser	This package contains the compiler
edu.mit.csail.sdg.alloy4compiler.sim	This package contains a pure-Java evaluator/simulator for Alloy4 instances.
edu.mit.csail.sdg.alloy4compiler.translator	This package contains the translator from Alloy4 to CNF (using kodkod).

Uses of Func in edu.mit.csail.sdg.alloy4compiler.ast

Fields in edu.mit.csail.sdg.alloy4compiler.ast declared as Func

Func	ExprBadCall.fun The function.
Func	ExprCall.fun The actual function being called; never null.

Methods in edu.mit.csail.sdg.alloy4compiler.ast that return types with arguments of type Func

java.lang.Iterable<Func>	Expr.findAllFunctions() Transitively returns a set that contains all predicates/functions that this expression calls directly or indirectly.
SafeList<Func>	Module.getAllFunc() Return an unmodifiable list of all functions in this module.

Methods in edu.mit.csail.sdg.alloy4compiler.ast with parameters of type Func

static Expr	ExprBadCall.make(Pos pos, Pos closingBracket, Func fun, ConstList<Expr> args, long extraPenalty) Constructs an ExprBadCall object.
static Expr	ExprCall.make(Pos pos, Pos closingBracket, Func fun, java.util.List<Expr> args, long extraPenalty) Constructs an ExprCall node with the given predicate/function "fun" and the list of arguments "args".

Uses of Func in edu.mit.csail.sdg.alloy4compiler.parser

Methods in edu.mit.csail.sdg.alloy4compiler.parser that return types with arguments of type Func

SafeList<Func>

CompModule.getAllFunc() Return an unmodifiable list of all functions in this module.

Uses of Func in edu.mit.csail.sdg.alloy4compiler.sim

Methods in edu.mit.csail.sdg.alloy4compiler.sim with parameters of type Func

void	SimInstance.addCallback(Func predicateOrFunction, SimCallback callback) Register a callback.
java.lang.Object	SimCallback.compute(Func predicateOrFunction, java.util.List<SimTupleset> arguments) This method accepts a function, a list of arguments, and should return either a java Boolean, java Integer, or a SimTupleset, (or null if it chooses NOT to handle this call)

Uses of Func in edu.mit.csail.sdg.alloy4compiler.translator

Method parameters in edu.mit.csail.sdg.alloy4compiler.translator with type arguments of type Func

void	A4Solution.writeXML(A4Reporter rep, java.io.PrintWriter writer, java.lang.Iterable<Func> macros, java.util.Map<java.lang.String,java.lang.String> sourceFiles) Helper method to write out a full XML file.
void	A4Solution.writeXML(A4Reporter rep, java.lang.String filename, java.lang.Iterable<Func> macros, java.util.Map<java.lang.String,java.lang.String> sourceFiles) Helper method to write out a full XML file.
void	A4Solution.writeXML(java.io.PrintWriter writer, java.lang.Iterable<Func> macros, java.util.Map<java.lang.String,java.lang.String> sourceFiles) Helper method to write out a full XML file.
void	A4Solution.writeXML(java.lang.String filename, java.lang.Iterable<Func> macros) Helper method to write out a full XML file.
void	A4Solution.writeXML(java.lang.String filename, java.lang.Iterable<Func> macros, java.util.Map<java.lang.String,java.lang.String> sourceFiles) Helper method to write out a full XML file.