org.qedeq.kernel.bo.logic.model
Class FunctionVariableInterpreter

java.lang.Object
  org.qedeq.kernel.bo.logic.model.FunctionVariableInterpreter

public final class FunctionVariableInterpreter
extends java.lang.Object

Interpret function variables.

Author:

Michael Meyling

Constructor Summary

FunctionVariableInterpreter(Model model)
Constructor.

Method Summary

void	clear() Clear variable interpretation.
Function	getFunction(FunctionVariable var) Get interpretation for function of model for given function variable.
boolean	next() Change to next valuation.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

FunctionVariableInterpreter

public FunctionVariableInterpreter(Model model)

Constructor.

Parameters:

model - Model we work on.

Method Detail

getFunction

public Function getFunction(FunctionVariable var)

Get interpretation for function of model for given function variable.

Parameters:

var - Function variable we want an interpretation for.

Returns:

Function.

next

public boolean next()

Change to next valuation.

Returns:

Is there a next new valuation?

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

clear

public void clear()

Clear variable interpretation.