edu.mit.csail.sdg.alloy4compiler.sim
Interface SimCallback

public interface SimCallback

This interface represents callback objects (that can be plugged into SimContext to perform more efficient evaluations)

Method Summary

java.lang.Object

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)

Method Detail

compute

java.lang.Object compute(Func predicateOrFunction,
                         java.util.List<SimTupleset> arguments)
                         throws java.lang.Exception

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)

Throws:

java.lang.Exception