Object

at.logic.gapt.formats.xml.XMLParser

XMLUtils

Related Doc: package XMLParser

Permalink

object XMLUtils

This object provides some utility functions which are useful when parsing CERES XML elements.

Source
XMLParser.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. XMLUtils
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

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. final def asInstanceOf[T0]: T0

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

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  6. def cycleStringToArray(cyc: String): Array[Int]

    Permalink

    This function takes a cycle string (a whitespace separated list of integers, see http://www.logic.at/ceres/downloads/calculus_LK.pdf) and returns the cycle as an Array of Ints.

    This function takes a cycle string (a whitespace separated list of integers, see http://www.logic.at/ceres/downloads/calculus_LK.pdf) and returns the cycle as an Array of Ints. For example, the string "2 7 3" will become the vector [2, 7, 3].

    This function is based on the constructor of the MVector class in C++ CERES.

    cyc

    The permutation in string format.

    returns

    The permutation as an Array of Ints.

  7. def cyclesToVector(cycles: List[Array[Int]], size: Int): Array[Int]

    Permalink

    This function takes a permutation (encoded as a list of cycles, see http://www.logic.at/ceres/downloads/calculus_LK.pdf) and the size of the permutation, and returns the permutation as an Array of Ints.

    This function takes a permutation (encoded as a list of cycles, see http://www.logic.at/ceres/downloads/calculus_LK.pdf) and the size of the permutation, and returns the permutation as an Array of Ints. The size of the permutation has to be supplied, as the format allows leaving out trivial cycles.

    This function was ported from the Permutation::cycles2Vector method in C++ CERES.

    cycles

    The permutation in string format.

    size

    The size of the permutation.

    returns

    The permutation as an Array of Ints.

  8. final def eq(arg0: AnyRef): Boolean

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

    Permalink
    Definition Classes
    AnyRef → Any
  10. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  11. final def getClass(): Class[_]

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

    Permalink
    Definition Classes
    AnyRef → Any
  13. def invertCycles(cycles: Array[Int]): Array[Int]

    Permalink
  14. final def isInstanceOf[T0]: Boolean

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

    Permalink
    Definition Classes
    AnyRef
  16. def nodesToAbstractTerms(ns: List[Node]): List[LambdaExpression]

    Permalink

    This function converts a list of nodes, which are assumed to be instances of the XML &abstractterm; entity, to a list of LambdaExpressions.

    This function converts a list of nodes, which are assumed to be instances of the XML &abstractterm; entity, to a list of LambdaExpressions.

    ns

    A list of nodes, each of which is an instance of the XML &abstractterm; entity.

    returns

    A list of LambdaExpressions corresponding to the list of nodes.

    See also

    XMLParser.XMLAbstractTermParser

  17. def nodesToFormulas(ns: List[Node]): List[HOLFormula]

    Permalink

    This function converts a list of nodes, which are assumed to be instances of the XML &formula; entity, to a list of Formulas.

    This function converts a list of nodes, which are assumed to be instances of the XML &formula; entity, to a list of Formulas.

    ns

    A list of nodes, each of which is an isntance of the XML &formula; entity.

    returns

    A list of Formulas corresponding to the list of nodes.

    See also

    XMLParser.XMLFormulaParser

  18. final def notify(): Unit

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

    Permalink
    Definition Classes
    AnyRef
  20. def permStringToCycles(perm: String, size: Int): Array[Int]

    Permalink

    This function takes a permutation string (encoded as a list of cycles, see http://www.logic.at/ceres/downloads/calculus_LK.pdf) and the size of the permutation, and returns the permutation as an Array of Ints.

    This function takes a permutation string (encoded as a list of cycles, see http://www.logic.at/ceres/downloads/calculus_LK.pdf) and the size of the permutation, and returns the permutation as an Array of Ints. The size of the permutation has to be supplied, as the string format allows leaving out trivial cycles.

    This function was ported from the constructor of the Permutation class in C++ CERES.

    perm

    The permutation in string format.

    size

    The size of the permutation.

    returns

    The permutation as an Array of Ints.

  21. def permStringToFun(perm: String, size: Int): (Int) ⇒ Int

    Permalink

    This function takes a permutation string (encoded as a list of cycles, see http://www.logic.at/ceres/downloads/calculus_LK.pdf) and the size of the permutation, and returns the permutation as a function from Int to Int.

    This function takes a permutation string (encoded as a list of cycles, see http://www.logic.at/ceres/downloads/calculus_LK.pdf) and the size of the permutation, and returns the permutation as a function from Int to Int. The size of the permutation has to be supplied, as the string format allows leaving out trivial cycles.

    perm

    The permutation in string format.

    size

    The size of the permutation.

    returns

    The permutation as a function.

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

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

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

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

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

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

Inherited from AnyRef

Inherited from Any

Ungrouped