|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
ObjectDefaultHandler
EquationSystem
public class EquationSystem
A representation for a term equation system. Such an equation system can be used as input for the redundancy elimination algorithm.
Constructor Summary | |
---|---|
EquationSystem()
|
Method Summary | |
---|---|
void |
add(FragmentWithHole fh1,
FragmentWithHole fh2)
Add an equation between two label-hole pairs. |
void |
addEquivalenceClass(Collection<FragmentWithHole> fhs)
Add equations between any two members of a collection of label-hole pairs. |
void |
clear()
Remove all equations from this equation system. |
boolean |
contains(Equation eq)
Checks whether a given equation is contained in the equation system. |
void |
endElement(String uri,
String localName,
String qName)
|
void |
read(Reader reader)
Reads an equation system from an XML specification. |
int |
size()
Returns the number of equations. |
void |
startElement(String uri,
String localName,
String qName,
Attributes attributes)
|
String |
toString()
Returns a string representation of this equation system. |
Methods inherited from class DefaultHandler |
---|
characters, endDocument, endPrefixMapping, error, fatalError, ignorableWhitespace, notationDecl, processingInstruction, resolveEntity, setDocumentLocator, skippedEntity, startDocument, startPrefixMapping, unparsedEntityDecl, warning |
Methods inherited from class Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public EquationSystem()
Method Detail |
---|
public void add(FragmentWithHole fh1, FragmentWithHole fh2)
fh1
- a label-hole pairfh2
- another label-hole pairpublic void addEquivalenceClass(Collection<FragmentWithHole> fhs)
fhs
- a collection of label-hole pairspublic void clear()
public boolean contains(Equation eq)
eq
- an equation
public int size()
public void read(Reader reader) throws ParserConfigurationException, SAXException, IOException
<equivalencegroup>
<quantifier label="a" hole="0" />
<quantifier label="a" hole="1" />
</equivalencegroup>
<permutesWithEverything label="proper_q" hole="1" />
reader
- a reader from which the specification is read
ParserConfigurationException
- if an error occurred while
configuring the XML parser
SAXException
- if an error occurred while parsing
IOException
- if an I/O error occurred while reading
from the reader.public void startElement(String uri, String localName, String qName, Attributes attributes) throws SAXException
startElement
in interface ContentHandler
startElement
in class DefaultHandler
SAXException
public void endElement(String uri, String localName, String qName) throws SAXException
endElement
in interface ContentHandler
endElement
in class DefaultHandler
SAXException
public String toString()
toString
in class Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |