org.aspic.inference.writers
Class ClaimWriter

java.lang.Object
  org.aspic.inference.writers.ClaimWriter

All Implemented Interfaces:

ReasonerWriter

public class ClaimWriter
extends java.lang.Object
implements ReasonerWriter

A writer for Arugment claims. Status: Prototype.

Author:

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

Constructor Summary

ClaimWriter()

Method Summary

void	reset()
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

ClaimWriter

public ClaimWriter()

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

reset

public void reset()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object