Packages

case class RemoveFacts(facts: Conjunction) extends Action with Product with Serializable

Remove some facts from the handled proof goal.

Linear Supertypes
Serializable, Product, Equals, Action, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. RemoveFacts
  2. Serializable
  3. Product
  4. Equals
  5. Action
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new RemoveFacts(facts: Conjunction)

Value Members

  1. val facts: Conjunction
  2. def productElementNames: Iterator[String]
    Definition Classes
    Product