at.ac.tuwien.dbai.staff.dvorak.alternation.runtime
Class ResultTuple<GWorktape>

java.lang.Object
  at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ResultTuple<GWorktape>

Type Parameters:

GWorktape - container for workvariables

public class ResultTuple<GWorktape>
extends java.lang.Object

Result of a state-computation on a worktape. So it saves if a configuration immediate accepts / rejects or its successors and if it is a universal or existential quantified configuration

Author:

Wolfgang Dvorak

Nested Class Summary

protected static class

ResultTuple.AtmConfiguration<GWorktape> simple container to save pairs of states and worktapes

Field Summary

protected boolean	accept
static ResultTuple	ACCEPT ResultTuple the means a computation accepts
protected boolean	forall
protected boolean	reject
static ResultTuple	REJECT ResultTuple the means a computation rejects
protected java.util.List<ResultTuple.AtmConfiguration<GWorktape>>	successors

Constructor Summary

ResultTuple(boolean accept, boolean reject, boolean forall)
Constructor

Method Summary

void	add(byte state, GWorktape worktape) adds a new Configuration to the Successors

Methods inherited from class java.lang.Object

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

Field Detail

ACCEPT

public static final ResultTuple ACCEPT

ResultTuple the means a computation accepts

REJECT

public static final ResultTuple REJECT

ResultTuple the means a computation rejects

accept

protected boolean accept

reject

protected boolean reject

forall

protected boolean forall

successors

protected java.util.List<ResultTuple.AtmConfiguration<GWorktape>> successors

Constructor Detail

ResultTuple

public ResultTuple(boolean accept,
                   boolean reject,
                   boolean forall)

Constructor

Parameters:

accept - true if the computation accepts

reject - true if the computation rejects

forall - if unversal quantified, false if existential quantified

Method Detail

add

public void add(byte state,
                GWorktape worktape)

adds a new Configuration to the Successors

Parameters:

state - stateId

worktape - worktape