Package eu.bandm.tools.tpath.type

Class NumerusInference

java.lang.Object

eu.bandm.tools.tpath.type.NumerusInference

public class NumerusInference
extends Object

Constructor Summary

Constructors

Constructor	Description
NumerusInference(DTM.Dtd dtd)
NumerusInference(DTM.Dtd dtd, DTM.Element... roots)
NumerusInference(DTM.Dtd dtd, Collection<? extends DTM.Element> roots)
NumerusInference(DTM.Dtd dtd, Predicate<DTM.Element> filter)

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)
void	setMessageReceiver(MessageReceiver<? super SimpleMessage> msg)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

NumerusInference

public NumerusInference(DTM.Dtd dtd,
 DTM.Element... roots)

NumerusInference

public NumerusInference(DTM.Dtd dtd,
 Collection<? extends DTM.Element> roots)

NumerusInference

public NumerusInference(DTM.Dtd dtd)

NumerusInference

public NumerusInference(DTM.Dtd dtd,
 Predicate<DTM.Element> filter)

Method Details

setMessageReceiver

public void setMessageReceiver(MessageReceiver<? super SimpleMessage> msg)

main

public static void main(String[] args)
                 throws IOException

Throws:

IOException