org.activemath.exercises.generators
Class TruthTables

java.lang.Object
  org.activemath.exercises.openmath.OpenMath
      org.activemath.exercises.InteractionGenerator
          org.activemath.exercises.generators.TruthTables

public class TruthTables
extends InteractionGenerator

Generator of truth tables exercises.

Version:

$Revision: 1.7 $ $Date: 2006/07/16 21:53:25 $

Field Summary

protected org.jdom.Element	expression
protected org.jdom.Element	initialNode
protected Map	knownInteractions
protected int	numberOfRows
protected int	numberOfVariables
protected int	totalPossibleAnswers
protected ArrayList	variables

Fields inherited from class org.activemath.exercises.InteractionGenerator

activemathNamespace, dublinCoreNamespace, exercise, exerciseId, lang, localUserModel, localUserModelActive, masterGenerator, om, omdocNamespace, openmathNamespace, parameters, presentationStrategy, serializer, session, theoryId

Constructor Summary

TruthTables()

Method Summary

org.jdom.Element	getInteraction() Produce the initial node, where the exercise really starts.
org.jdom.Element	getInteraction(String id) Produce an interaction element from the given ID attribute.

Methods inherited from class org.activemath.exercises.InteractionGenerator

abort, getAnswerEvaluator, getExerciseDocument, getExerciseId, getFeedback, getName, getParameters, getPresentationStrategy, getSession, getTheoryId, hasAnswerMap, isStrategy, setExerciseDocument, setExerciseId, setIsStrategy, setLang, setMasterGenerator, setName, setParameters, setPresentationStrategy, setSession, setTheoryId

Methods inherited from class org.activemath.exercises.openmath.OpenMath

applyBinding, getOmobjContents, oma, oma, oma, oma, oma, ombind, ombind, ombind, ombind, ombind, ombvar, ombvar, ombvar, ombvar, ome, ome, ome, ome, omf, omf, omi, omi, omobj, oms, omstr, omv, output, setOmNamespace, substituteVariables, tidyForOpenMath1, toDouble, toInt

Methods inherited from class java.lang.Object

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

Field Detail

initialNode

protected org.jdom.Element initialNode

knownInteractions

protected Map knownInteractions

expression

protected org.jdom.Element expression

variables

protected ArrayList variables

numberOfVariables

protected int numberOfVariables

numberOfRows

protected int numberOfRows

totalPossibleAnswers

protected int totalPossibleAnswers

Constructor Detail

TruthTables

public TruthTables()

Method Detail

getInteraction

public org.jdom.Element getInteraction()

Produce the initial node, where the exercise really starts.

Overrides:

getInteraction in class InteractionGenerator

Returns:

JDOM element. Can be null only if the exercise item doesn't have a root element.

getInteraction

public org.jdom.Element getInteraction(String id)

Produce an interaction element from the given ID attribute. TODO: document here the basic structure of an interaction element.

Overrides:

getInteraction in class InteractionGenerator

Parameters:

id - value of the "id" attribute of the desired element.

Returns:

element found, or null.