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

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

public final class PredicateVariableInterpreter
extends java.lang.Object

This class calculates a new truth value for a given formula for a given interpretation.

Author:

Michael Meyling

Constructor Summary

PredicateVariableInterpreter(Model model)
Constructor.

Method Summary

void	clear() Clear variable interpretation.
Predicate	getPredicate(PredicateVariable var) Get model predicate for predicate 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

PredicateVariableInterpreter

public PredicateVariableInterpreter(Model model)

Constructor.

Parameters:

model - Model we work on.

Method Detail

getPredicate

public Predicate getPredicate(PredicateVariable var)

Get model predicate for predicate variable.

Parameters:

var - For this predicate variable.

Returns:

Predicate for model.

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.