Packages

p

at.logic.gapt

models

package models

Content Hierarchy

Type Members

  1. trait Interpretation extends AnyRef
  2. case class MapBasedInterpretation (model: Map[HOLAtom, Boolean]) extends Interpretation with Product with Serializable

Ungrouped