Package org.svvrl.goal.cmd

Interface ComplementConstructionExtension

All Superinterfaces:
CommandConfigurator, CommandDescriptor
All Known Subinterfaces:
ComplementConstructionInterface
All Known Implementing Classes:
AbstractComplementConstructionExtension, AbstractComplementConstructionInterface, ClassicComplementExtension, DeterministicComplementExtension, HierarchyComplementExtension, KurshanComplementExtension, ModifiedSafraComplementExtension, MullerSchuppComplementExtension, PitermanComplementExtension, ProgressMeasureComplementExtension, RamseyComplementExtension, RankComplementExtension, SafraComplementExtension, SDBWComplementExtension, SliceComplementExtension, WAAComplementExtension, WAPAComplementExtension
public interface ComplementConstructionExtension
extends CommandDescriptor, CommandConfigurator
This interface is used to extend the complementation constructions available in ComplementCommand. Note that the command-line options -m, -o, -s, and -t will be captured by ComplementCommand and will not be passed to CommandConfigurator.getOptions(Context, List). To make a complementation construction available in ComplementCommand , an object of this interface must be added to CommandRepository via CommandRepository.addComplementConstruction(ComplementConstructionExtension) . If the interface object provides the default construction for a type of automata, it should be added by CommandRepository.addComplementConstruction(ComplementConstructionExtension, org.svvrl.goal.core.aut.AutomatonType) . When a complement command, which corresponds to an object of ComplementCommand, is executed, it will try to find in CommandRepository an object of this interface with the name specified by the -m option. Depending on what constructors are available, the complementation construction of the class getConstructionClass() will be instantiated by passing to the constructor one or two of the following objects.
  1. The automaton to be complemented.
  2. The complementation options obtained by passing command-line options other than -m, -o, -s, -t, and the automaton to be complemented to CommandConfigurator.getOptions(Context, List).
The constructor taking the automaton to be complemented and the complementation options has higher priority than the constructor taking only the automaton to be complemented.
Author:
Ming-Hsien Tsai

  • Method Details

    • getConstructionClass

      java.lang.Class<? extends ComplementConstruction<?,​?>> getConstructionClass()
      Returns the class of the provided complementation construction.
      Returns:
      the class of the provided complementation construction

    • setConstructionClass

      void setConstructionClass​(java.lang.Class<? extends ComplementConstruction<?,​?>> cls)
      Sets the class of the provided complementation construction.
      Parameters:
      cls - the class of the provided complementation construction