at.ac.tuwien.dbai.alternation.examples
Class MCVP

java.lang.Object
  at.ac.tuwien.dbai.alternation.examples.MCVP

public class MCVP
extends java.lang.Object

Monotone Circuit Value Problem

Nested Class Summary

class	MCVP.Inputtape
class	MCVP.Worktape

Constructor Summary

MCVP()

Method Summary

boolean	compute(Circuit circuit, boolean[] input, int outIndex)
ComputationTree<MCVP.Worktape>	getComputationTree()

Methods inherited from class java.lang.Object

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

Constructor Detail

MCVP

public MCVP()

Method Detail

compute

public boolean compute(Circuit circuit,
                       boolean[] input,
                       int outIndex)

getComputationTree

public ComputationTree<MCVP.Worktape> getComputationTree()