Package de.saar.chorus.domgraph.chart.lethal

Class UtoolReducer

java.lang.Object

de.saar.chorus.domgraph.chart.lethal.UtoolReducer

public class UtoolReducer
extends Object

Author:

koller

Constructor Summary

Constructors

Constructor	Description
UtoolReducer()

Method Summary

Modifier and Type	Method	Description
static void	load(String filename, DomGraph graph, NodeLabels labels)
static void	loadRewriteSystem(String filename, RewriteSystem weakening, RewriteSystem equivalence, Annotator annotator)
static void	main(String[] args)
static Chart	solve(NodeLabels labels, DomGraph graph)

Methods inherited from class java.lang.Object

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

Constructor Details

UtoolReducer

public UtoolReducer()

Method Details

main

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

Throws:

Exception

loadRewriteSystem

public static void loadRewriteSystem(String filename,
 RewriteSystem weakening,
 RewriteSystem equivalence,
 Annotator annotator)
                              throws Exception

Throws:

Exception

solve

public static Chart solve(NodeLabels labels,
 DomGraph graph)
                   throws DomGraph.PreprocessingException,
SolverNotApplicableException

Throws:

DomGraph.PreprocessingException

SolverNotApplicableException

load

public static void load(String filename,
 DomGraph graph,
 NodeLabels labels)
                 throws CodecRegistrationException,
FileNotFoundException,
IOException,
ParserException,
MalformedDomgraphException

Throws:

CodecRegistrationException

FileNotFoundException

IOException

ParserException

MalformedDomgraphException