Package de.saar.chorus.domgraph.codec.rmrs

Class RmrsInputCodec

java.lang.Object

de.saar.chorus.domgraph.codec.rmrs.RmrsInputCodec

public class RmrsInputCodec
extends Object

Constructor Summary

Constructors

Constructor	Description
RmrsInputCodec(DomGraph graph, NodeLabels labels)

Method Summary

Modifier and Type	Method	Description
void	addArgWithHole(String x, int i, String holename)
void	addArgWithVar(String x, int i, String varname)
void	addEP(String x, String y, String p)
void	addNodeEquality(String x, String y)
void	addNodeInequality(String x, String y)
void	addQeq(String x, String y)
void	addVarEquality(String x, String y)
void	addVarInequality(String x, String y)
void	makeGraph()

Methods inherited from class java.lang.Object

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

Constructor Details

RmrsInputCodec

public RmrsInputCodec(DomGraph graph,
 NodeLabels labels)

Method Details

addEP

public void addEP(String x,
 String y,
 String p)

addArgWithVar

public void addArgWithVar(String x,
 int i,
 String varname)

addArgWithHole

public void addArgWithHole(String x,
 int i,
 String holename)

addQeq

public void addQeq(String x,
 String y)

addVarInequality

public void addVarInequality(String x,
 String y)

addVarEquality

public void addVarEquality(String x,
 String y)

addNodeInequality

public void addNodeInequality(String x,
 String y)

addNodeEquality

public void addNodeEquality(String x,
 String y)

makeGraph

public void makeGraph()