Object

at.logic.gapt.algorithms.rewriting

NameReplacement

Related Doc: package rewriting

Permalink

object NameReplacement

performs renaming of constants, functions and predicate symbols

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. NameReplacement
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Type Members

  1. type OccMap = Map[FormulaOccurrence, FormulaOccurrence]

    Permalink
  2. type ProofMap = Map[RobinsonResolutionProof, (OccMap, RobinsonResolutionProof)]

    Permalink
  3. type SymbolMap = Map[String, (Int, String)]

    Permalink

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. def add_pmap(pmap: ProofMap, parent: RobinsonResolutionProof): (ProofMap, OccMap, RobinsonResolutionProof)

    Permalink
  5. def apply(expTree: ExpansionTree, map: SymbolMap): ExpansionTree

    Permalink
  6. def apply(expSequent: ExpansionSequent, map: SymbolMap)(implicit dummyImplicit: DummyImplicit, dummyImplicit2: DummyImplicit): ExpansionSequent

    Permalink
  7. def apply(p: RobinsonResolutionProof, map: SymbolMap): RobinsonResolutionProof

    Permalink
  8. def apply(cls: HOLClause, map: SymbolMap)(implicit dummyImplicit: DummyImplicit): HOLClause

    Permalink
  9. def apply(fs: HOLSequent, map: SymbolMap): Sequent[HOLFormula]

    Permalink
  10. def apply(exp: FOLTerm, map: SymbolMap): FOLTerm

    Permalink
  11. def apply(exp: FOLFormula, map: SymbolMap): FOLFormula

    Permalink
  12. def apply(exp: HOLFormula, map: SymbolMap): HOLFormula

    Permalink
  13. def apply(exp: FOLExpression, map: SymbolMap): FOLExpression

    Permalink
  14. def apply(exp: LambdaExpression, map: SymbolMap): LambdaExpression

    Permalink
  15. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  16. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  17. val emptyProofMap: Map[RobinsonResolutionProof, (Map[FormulaOccurrence, FormulaOccurrence], RobinsonResolutionProof)]

    Permalink
  18. val emptySymbolMap: Map[String, (Int, String)]

    Permalink
  19. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  20. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  21. def extendw_pmap(index: RobinsonResolutionProof, p: ProofMap, o: OccMap, i: RobinsonResolutionProof): (Map[RobinsonResolutionProof, (OccMap, RobinsonResolutionProof)], OccMap, RobinsonResolutionProof)

    Permalink
  22. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  23. def find_matching[A, B](objects: List[A], targets: List[B], matches: (A, B) ⇒ Boolean): Map[A, B]

    Permalink
  24. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  25. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  26. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  27. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  28. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  29. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  30. def renameHOLSequent(fs: HOLSequent, map: SymbolMap): Sequent[HOLFormula]

    Permalink
  31. def renameSymbols(exp: FOLFormula, map: SymbolMap): FOLFormula

    Permalink
  32. def renameSymbols(exp: HOLFormula, map: SymbolMap): HOLFormula

    Permalink
  33. def renameSymbols(exp: FOLExpression, map: SymbolMap): FOLExpression

    Permalink
  34. def renameSymbols(exp: LambdaExpression, map: SymbolMap): LambdaExpression

    Permalink
  35. def rename_resproof(p: RobinsonResolutionProof, smap: SymbolMap, pmap: ProofMap): (ProofMap, OccMap, RobinsonResolutionProof)

    Permalink
  36. def rename_resproof(p: RobinsonResolutionProof, smap: SymbolMap): (OccMap, RobinsonResolutionProof)

    Permalink
  37. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  38. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  39. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  40. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  41. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped