FolWriter

All Known Implementing Classes:: Prover9Writer, StandardFolWriter, TPTPWriter

public interface FolWriter

Prints out single first-order logic formulas and full knowledge bases.

Author:: Nils Geilen

Method Summary

Modifier and Type

Method

Description

void

close()

Closes the Writer.

void

printBase(FolBeliefSet b)

Prints formatted representation of a knowledge base.

void

printEquivalence(FolFormula a, FolFormula b)

Prints an Equivalence.

void

printQuery(FolFormula query)

Prints formatted representation of a query.

Method Details
- printQuery
  
  void printQuery(FolFormula query) throws IOException
  
  Prints formatted representation of a query.
  
  Parameters:
  
  query - the formula to be queried
  
  Throws:
  
  IOException - if an IO issue occurs.
- printEquivalence
  
  void printEquivalence(FolFormula a, FolFormula b) throws IOException
  
  Prints an Equivalence.
  
  Parameters:
  
  a - formula on one side of the equation
  
  b - formula on the other side of the equation
  
  Throws:
  
  IOException - if an IO issue occurs.
- printBase
  
  void printBase(FolBeliefSet b) throws IOException
  
  Prints formatted representation of a knowledge base.
  
  Parameters:
  
  b - a knowledge base
  
  Throws:
  
  IOException - if an IO issue occurs.
- close
  
  void close() throws IOException
  
  Closes the Writer.
  
  Throws:
  
  IOException - if an IO issue occurs.