edu.uiowa.cs.clc.kind2.results

Interfaces

• AstInfo

Classes

• Analysis
• Array
• ArrayValue
• Bool
• BoolValue
• ConstDeclInfo
• ContractInfo
• CounterExample
• Element
• Enum
• EnumValue
• FunctionInfo
• Int
• IntValue
• Labels
• Log
• Main
• ModelElementSet
• Node
• NodeInfo
• NodeResult
• Options
• PostAnalysis
• Property
• Real
• RealValue
• Result
• StepValue
• Stream
• SubNode
• SubRange
• SubRangeValue
• Suggestion
• Type
• TypeDeclInfo
• Value

Enums

• Answer
• LogLevel
• Object
• PropertyType
• SuggestionType