package models
Content Hierarchy
Type Members
- trait Interpretation extends AnyRef
- case class MapBasedInterpretation (model: Map[Atom, Boolean]) extends Interpretation with Product with Serializable