HasADTEquality

Definitions

HasADTInvariant

Definitions

HasDefaultGlobalContext

evaluators

HasDefaultRecContext

evaluators

hasCVC4

SolverFactory

hasEquality

ADTDefinition TypedADTDefinition

hasInstance

ADTDefinition

hasInvariant

ADTDefinition TypedADTDefinition

hasNativeZ3

SolverFactory

hasNext

FreeableIterator

hasQuantifiers

QuantificationTemplates

hasZ3

SolverFactory

hashCode

OptionDef OptionValue AbstractSymbols Definition TypeParameterDef ValDef VariableSymbol Variable Identifier Path TypeParameter TemplateStructure

head

StringEncoder

highlight

DotPrinter

hoistIte

SymbolOps