OptionInfo.VoidInfo

java.lang.Object

io.github.cvc5.OptionInfo.BaseInfo

io.github.cvc5.OptionInfo.VoidInfo

Enclosing class:: OptionInfo

public class OptionInfo.VoidInfo extends OptionInfo.BaseInfo

Has no value information

Constructor Summary

Constructors

Constructor

Description

VoidInfo()

Construct a new VoidInfo.
Method Summary

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

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