Packages

class EscargotState extends Logger

Source
state.scala
Linear Supertypes
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. EscargotState
  2. Logger
  3. AnyRef
  4. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new EscargotState()

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. def +(other: String): String
    Implicit
    This member is added by an implicit conversion from EscargotState to any2stringadd[EscargotState] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd
  4. def ->[B](y: B): (EscargotState, B)
    Implicit
    This member is added by an implicit conversion from EscargotState to ArrowAssoc[EscargotState] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  5. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  6. def DerivedCls(parent1: Cls, parent2: Cls, newProof: ResolutionProof): Cls
  7. def DerivedCls(parent: Cls, newProof: ResolutionProof): Cls
  8. def InputCls(proof: ResolutionProof): Cls
  9. def InputCls(clause: HOLSequent): Cls
  10. def SimpCls(parent: Cls, newProof: ResolutionProof): Cls
  11. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  12. var avatarModel: MapBasedInterpretation
  13. def choose(): Cls
  14. def clauseProcessing(): Unit
  15. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  16. def debug(msg: ⇒ Any): Unit
    Attributes
    protected
    Definition Classes
    Logger
  17. var emptyClauses: Map[HOLClause, Cls]
  18. def ensuring(cond: (EscargotState) ⇒ Boolean, msg: ⇒ Any): EscargotState
    Implicit
    This member is added by an implicit conversion from EscargotState to Ensuring[EscargotState] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  19. def ensuring(cond: (EscargotState) ⇒ Boolean): EscargotState
    Implicit
    This member is added by an implicit conversion from EscargotState to Ensuring[EscargotState] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  20. def ensuring(cond: Boolean, msg: ⇒ Any): EscargotState
    Implicit
    This member is added by an implicit conversion from EscargotState to Ensuring[EscargotState] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  21. def ensuring(cond: Boolean): EscargotState
    Implicit
    This member is added by an implicit conversion from EscargotState to Ensuring[EscargotState] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  22. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  23. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  24. def error(msg: ⇒ Any, e: Throwable): Nothing
    Attributes
    protected
    Definition Classes
    Logger
  25. def error(msg: ⇒ Any): Unit
    Attributes
    protected
    Definition Classes
    Logger
  26. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  27. def formatted(fmtstr: String): String
    Implicit
    This member is added by an implicit conversion from EscargotState to StringFormat[EscargotState] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()
  28. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  29. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  30. def inferenceComputation(given: Cls): Boolean
  31. var inferences: Seq[InferenceRule]
  32. def info(msg: ⇒ Any): Unit
    Attributes
    protected
    Definition Classes
    Logger
  33. def isActive(assertion: HOLClause): Boolean
  34. def isActive(cls: Cls): Boolean
  35. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  36. val locked: Set[(Cls, Option[HOLClause])]
  37. def loop(): Option[ResolutionProof]
  38. def makeVerbose(): Unit
    Definition Classes
    Logger
  39. var nameGen: NameGenerator
  40. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  41. var newlyDerived: Set[Cls]
  42. final def notify(): Unit
    Definition Classes
    AnyRef
  43. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  44. def preprocessing(): Unit
  45. var preprocessingRules: Seq[PreprocessingRule]
  46. def stateAsFormula: Formula
  47. var strategy: Int
  48. def switchToNewModel(model: Interpretation): Unit
  49. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  50. var termOrdering: TermOrdering
  51. def toString(): String
    Definition Classes
    AnyRef → Any
  52. def trace(msg: ⇒ Any): Unit
    Attributes
    protected
    Definition Classes
    Logger
  53. def trySetAssertion(assertion: HOLClause, value: Boolean): Unit
  54. def trySetAvatarAtom(atom: Atom, value: Boolean): Unit
  55. val usable: Set[Cls]
  56. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  57. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  58. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  59. def warn(msg: ⇒ Any, e: Throwable): Unit
    Attributes
    protected
    Definition Classes
    Logger
  60. def warn(msg: ⇒ Any): Unit
    Attributes
    protected
    Definition Classes
    Logger
  61. var workedOff: Set[Cls]
  62. def [B](y: B): (EscargotState, B)
    Implicit
    This member is added by an implicit conversion from EscargotState to ArrowAssoc[EscargotState] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc

Inherited from Logger

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from EscargotState to any2stringadd[EscargotState]

Inherited by implicit conversion StringFormat from EscargotState to StringFormat[EscargotState]

Inherited by implicit conversion Ensuring from EscargotState to Ensuring[EscargotState]

Inherited by implicit conversion ArrowAssoc from EscargotState to ArrowAssoc[EscargotState]

Ungrouped