org.argkit.dung
Interface ReasonerWriter<C>

Type Parameters:

C - (Argument's) claim class

All Known Implementing Classes:

JungDungEngineWriter, JungJustificationWriter

public interface ReasonerWriter<C>

An interface to define writers that can be used to serialise a Reasoning artefact using the visitor pattern.

Author:

Matt South

Method Summary

void	write(Branch<C> pair)
void	write(Dialogue<C> proof)
void	write(Dungine<C> engine)
void	write(Query<C> query)

Method Detail

write

void write(Query<C> query)

write

void write(Branch<C> pair)

write

void write(Dungine<C> engine)

write

void write(Dialogue<C> proof)