at
.
logic
.
gapt
models
package
models
Content Hierarchy
MapBasedInterpretation
Interpretation
Visibility
Public
All
Type Members
trait
Interpretation
extends
AnyRef
case class
MapBasedInterpretation
(
model:
Map
[
HOLAtom
,
Boolean
]
)
extends
Interpretation
with
Product
with
Serializable
Ungrouped