io.github.cvc5

Class 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 and Description
VoidInfo()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

VoidInfo

public VoidInfo()