org.aspic.inference.writers
Class GMLWriter

java.lang.Object
  extended by org.aspic.inference.writers.GMLWriter
All Implemented Interfaces:
ReasonerWriter

public class GMLWriter
extends java.lang.Object
implements ReasonerWriter

A writer for yEd. This writer builds a full graph which can be accessed via the toString() method. Use this writer to build a GML graph around a particular query.

 Engine eng = new Engine("a.~a.");
 Query query = eng.createQuery("a.");
 GraphvizWriter writer = new GraphvizWriter();
 query.write(writer);
 System.out.println(writer.toString());
 

Author:
mjs (matthew.south@cancer.org.uk)

Constructor Summary
GMLWriter()
           
 
Method Summary
 void resetDocument()
           
 java.lang.String toString()
           
 void write(Query query)
           
 void write(ReasonerPair reasonerPair)
           
 void write(RuleArgument argument)
           
 void write(RuleArgumentList argumentList)
           
 void write(Substitution substitution)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

GMLWriter

public GMLWriter()
Method Detail

write

public void write(Query query)
Specified by:
write in interface ReasonerWriter

write

public void write(RuleArgument argument)
Specified by:
write in interface ReasonerWriter

write

public void write(RuleArgumentList argumentList)
Specified by:
write in interface ReasonerWriter

write

public void write(Substitution substitution)
Specified by:
write in interface ReasonerWriter

write

public void write(ReasonerPair reasonerPair)
Specified by:
write in interface ReasonerWriter

resetDocument

public void resetDocument()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object