package models
Ordering
- Alphabetic
Visibility
- Public
- All
Type Members
-
case class
PropositionalModel(assignment: Map[Atom, Boolean]) extends Product with Serializable
Propositional interpretation
Value Members
- object PropositionalModel extends Serializable
This is the API documentation for GAPT.
The main package is at.logic.gapt.