If the Node n is an <axiomset> element, a List of Sequent objects corresponding to the Node is returned.
If the Node n is an <axiomset> element, a List of Sequent objects corresponding to the Node is returned.
A List of Sequent objects corresponding to n.
ParsingException
If n is not an <axiomset> node.
If the Node provided by XMLNodeParser is an <axiomset> element, a List of Sequent objects corresponding to the Node is returned.
If the Node provided by XMLNodeParser is an <axiomset> element, a List of Sequent objects corresponding to the Node is returned.
A List of Sequent objects corresponding to the Node provided by getInput().
ParsingException
If the Node provided by getInput() is not a <axiomset> Node.
If the Node n is a <formulalist> element, a List of Formula objects corresponding to the Node is returned.
If the Node n is a <formulalist> element, a List of Formula objects corresponding to the Node is returned.
A List of Formula objects corresponding to n.
ParsingException
If n is not a <formulalist> node.
If the Node provided by XMLNodeParser is a <formulalist> element, a List of Formula objects corresponding to the Node is returned.
If the Node provided by XMLNodeParser is a <formulalist> element, a List of Formula objects corresponding to the Node is returned.
A List of Formula objects corresponding to the Node provided by getInput().
ParsingException
If the Node provided by getInput() is not a <formulalist> Node.
If the Node n is a <sequent> element, a Sequent object corresponding to the Node is returned.
If the Node n is a <sequent> element, a Sequent object corresponding to the Node is returned.
A Sequent object corresponding to n.
ParsingException
If n is not a <sequent> node.
If the Node provided by XMLNodeParser is a <sequent> element, a Sequent object corresponding to the Node is returned.
If the Node provided by XMLNodeParser is a <sequent> element, a Sequent object corresponding to the Node is returned.
A Sequent object corresponding to the Node provided by getInput().
ParsingException
If the Node provided by getInput() is not a <sequent> Node.
If the Node n is a <sequentlist> element, a List of Sequent objects corresponding to the Node is returned.
If the Node n is a <sequentlist> element, a List of Sequent objects corresponding to the Node is returned.
A List of Sequent objects corresponding to n.
ParsingException
If n is not a <sequentlist> node.
If the Node provided by XMLNodeParser is a <sequentlist> element, a List of Sequent objects corresponding to the Node is returned.
If the Node provided by XMLNodeParser is a <sequentlist> element, a List of Sequent objects corresponding to the Node is returned.
A List of Sequent objects corresponding to the Node provided by getInput().
ParsingException
If the Node provided by getInput() is not a <sequentlist> Node.
This trait parses XML elements <sequent>, <sequentlist> and <formulalist> into the respective objects.