at.logic.skeptik.algorithm.compressor.combinedRPILU

pseudoUnits

package pseudoUnits

Visibility
  1. Public
  2. All

Type Members

  1. class NodeKind extends AnyRef

    Attributes
    sealed abstract

  2. case class PseudoUnit (literal: Either[E, E]) extends NodeKind with Product with Serializable

Value Members

  1. object DeletableNode extends NodeKind with Product with Serializable

  2. object OrdinaryNode extends NodeKind with Product with Serializable

  3. object isPseudoUnit extends AnyRef