io.github.cvc5

Class OptionInfo.BaseInfo

java.lang.Object

io.github.cvc5.OptionInfo.BaseInfo

Direct Known Subclasses:

OptionInfo.ValueInfo, OptionInfo.VoidInfo

Enclosing class:

OptionInfo

public abstract class OptionInfo.BaseInfo
extends Object

Abstract class for OptionInfo values

Constructor Summary

Constructors

Constructor and Description
BaseInfo()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

BaseInfo

public BaseInfo()