Package org.smtlib

Interface ICommand.IFinder

Enclosing interface:
ICommand
public static interface ICommand.IFinder
This interface defines classes that implement techniques for mapping a command name to a class that implements that command.

  • Method Summary

    Modifier and Type
    Method
    Description
    Class<? extends ICommand>
    findCommand(String name)
    This method finds a class that implements the ICommand interface for the given class name

  • Method Details

    • findCommand

      Class<? extends ICommand> findCommand(String name)
      This method finds a class that implements the ICommand interface for the given class name