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

Description

BaseInfo()

Construct a new BaseInfo.
Method Summary

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

Constructor Details
- BaseInfo
  
  public BaseInfo()
  
  Construct a new BaseInfo.