AltStyleConversion

java.lang.Object

org.svvrl.goal.core.AbstractAlgorithm

org.svvrl.goal.core.aut.alt.AltStyleConversion

All Implemented Interfaces:: java.util.EventListener, Algorithm, AlgorithmListener, Conversion<AltAutomaton,AltAutomaton>

public class AltStyleConversion
extends AbstractAlgorithm
implements Conversion<AltAutomaton,AltAutomaton>

This class provides a conversion from an alternating automaton in DNF (or CNF) to an alternating automaton in CNF (or DNF respectively).

Author:: Ming-Hsien Tsai

Constructor Summary

Constructors
Constructor	Description
`AltStyleConversion()`	Constructs this conversion with empty options.
`AltStyleConversion(Properties options)`	Constructs this conversion with custom options.

Method Summary

Modifier and Type Method Description

AltAutomaton convert(AltAutomaton alt)
Returns the result of this conversion from a specified input.

Methods inherited from class org.svvrl.goal.core.AbstractAlgorithm
addAlgorithmListener, addProgress, addSubAlgorithm, appendStageMessage, appendStepMessage, getAlgorithmListeners, getCurrentProgress, getMaximalProgress, getMinimalProgress, getName, getOptions, getSubAlgorithms, isDeterministicProgress, removeAlgorithmListener, removeSubAlgorithm, setCurrentProgress, setDeterministicProgress, setMaximalProgress, setMinimalProgress

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.svvrl.goal.core.Algorithm
addAlgorithmListener, getAlgorithmListeners, getOptions, removeAlgorithmListener

Methods inherited from interface org.svvrl.goal.core.AlgorithmListener
appendStageMessage, appendStepMessage, getCurrentProgress, getMaximalProgress, getMinimalProgress, setCurrentProgress, setDeterministicProgress, setMaximalProgress, setMinimalProgress

Constructor Details
- AltStyleConversion
  
  public AltStyleConversion()
  
  Constructs this conversion with empty options.
- AltStyleConversion
  
  public AltStyleConversion(Properties options)
  
  Constructs this conversion with custom options.
  
  Parameters:
  
  options - custom options
Method Details
- convert
  
  public AltAutomaton convert(AltAutomaton alt)
  
  Description copied from interface: Conversion
  
  Returns the result of this conversion from a specified input.
  
  Specified by:
  
  convert in interface Conversion<AltAutomaton,AltAutomaton>
  
  Parameters:
  
  alt - the input object to be converted
  
  Returns:
  
  the result of this conversion