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

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

public final class SubjectVariableInterpreter
extends java.lang.Object

This class interpretation.

Author:

Michael Meyling

Constructor Summary

SubjectVariableInterpreter(Model model)
Constructor.

Method Summary

void	addSubjectVariable(SubjectVariable var) Add subject variable.
void	clear() Clear variable interpretation.
void	forceAddSubjectVariable(SubjectVariable var, int value) Add subject variable even if already existing.
void	forceRemoveSubjectVariable(SubjectVariable var) Remove existing subject variable interpretation.
Entity	getEntity(SubjectVariable var) Get current interpretation of subject variable.
void	increaseSubjectVariableSelection(SubjectVariable var) Set interpretation of subject variable to next entity.
boolean	next() Change to next valuation.
void	removeSubjectVariable(SubjectVariable var) Remove existing subject variable interpretation.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

SubjectVariableInterpreter

public SubjectVariableInterpreter(Model model)

Constructor.

Parameters:

model - Model we work on.

Method Detail

next

public boolean next()

Change to next valuation.

Returns:

Is there a next new valuation?

addSubjectVariable

public void addSubjectVariable(SubjectVariable var)

Add subject variable. This is usually done for interpreting a quantifier.

Parameters:

var - Subject variable to add to our interpretation.

forceAddSubjectVariable

public void forceAddSubjectVariable(SubjectVariable var,
                                    int value)

Add subject variable even if already existing.

Parameters:

var - Remove this subject variable.

value - Set interpretation to this entity number.

forceRemoveSubjectVariable

public void forceRemoveSubjectVariable(SubjectVariable var)

Remove existing subject variable interpretation.

Parameters:

var - Remove this subject variable.

removeSubjectVariable

public void removeSubjectVariable(SubjectVariable var)

Remove existing subject variable interpretation.

Parameters:

var - Remove this subject variable.

getEntity

public Entity getEntity(SubjectVariable var)

Get current interpretation of subject variable.

Parameters:

var - Subject variable we are interested in.

Returns:

Current entity for subject variable.

increaseSubjectVariableSelection

public void increaseSubjectVariableSelection(SubjectVariable var)

Set interpretation of subject variable to next entity.

Parameters:

var - Switch to next entity for this subject variable.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

clear

public void clear()

Clear variable interpretation.