|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface FunctionInterp
Interface for classes that define the interpretation of a non-random function symbol. An interpretation is just a function from argument tuples to values. Implementations of this class should have a constructor that takes a List of Objects as its sole argument; these objects are parameters that define the interpretation.
Method Summary | |
---|---|
java.util.Set |
getInverseArgs(java.util.List args,
int argIndex,
Type argType,
java.lang.Object value)
Returns the set of values for argument argIndex that,
in combination with the given values for the other arguments,
yield the given function value. |
java.util.Set |
getInverseTuples(java.lang.Object value)
Returns the set of argument tuples that yield the given value, if this set is finite and can be computed easily. |
java.lang.Object |
getValue(java.util.List args)
Returns the value of this function on the given tuple of arguments. |
Method Detail |
---|
java.lang.Object getValue(java.util.List args)
java.util.Set getInverseTuples(java.lang.Object value)
java.util.Set getInverseArgs(java.util.List args, int argIndex, Type argType, java.lang.Object value)
argIndex
that,
in combination with the given values for the other arguments,
yield the given function value. If this set cannot be computed
straightforwardly, returns null.
args
- tuple of arguments; the entry at argIndex
is ignoredargIndex
- index of argument whose possible values are to
be returnedargType
- type of the argument at index argIndexvalue
- value of this function
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |