at.logic.skeptik.proof

oldResolution

package oldResolution

Visibility
  1. Public
  2. All

Type Members

  1. class Input extends Proof

  2. case class L (atom: Atom, polarity: Boolean) extends Product with Serializable

  3. class Proof extends AnyRef

    Attributes
    abstract

  4. class Resolvent extends Proof

Value Members

  1. object Clause extends AnyRef

  2. object Input extends AnyRef

  3. object Resolvent extends AnyRef

  4. object defs extends AnyRef

  5. object typeAliases extends AnyRef