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.
The permutation in string format.
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.
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.
The permutation in string format.
The size of the permutation.
The permutation as an Array of Ints.
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.
A list of nodes, each of which is an instance of the XML &abstractterm; entity.
A list of LambdaExpressions corresponding to the list of nodes.
XMLParser.XMLAbstractTermParser
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.
A list of nodes, each of which is an isntance of the XML &formula; entity.
A list of Formulas corresponding to the list of nodes.
XMLParser.XMLFormulaParser
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.
The permutation in string format.
The size of the permutation.
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 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.
The permutation in string format.
The size of the permutation.
The permutation as a function.
This object provides some utility functions which are useful when parsing CERES XML elements.