Package

at.logic.gapt

models

Permalink

package models

Content Hierarchy
Visibility
  1. Public
  2. All

Type Members

  1. trait Interpretation extends AnyRef

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

    Permalink

Ungrouped