Package ai.libs.jaicore.planning.hierarchical.problems.htn

Class AShop2Converter

java.lang.Object

ai.libs.jaicore.planning.hierarchical.problems.htn.AShop2Converter

Direct Known Subclasses:

CEOCIPSTN2JSHOP2, CEOCSTN2Shop2

public abstract class AShop2Converter
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
AShop2Converter()

Method Summary

Modifier and Type	Method	Description
java.lang.String	indent(int numberOfIntends)
abstract void	printLiteral(java.io.BufferedWriter bw, ai.libs.jaicore.logic.fol.structure.Literal lit)
void	printMonom(java.io.BufferedWriter bw, ai.libs.jaicore.logic.fol.structure.Monom monom, int i)	Prints a single monom into the bufferedwriter
void	printMonom(java.io.BufferedWriter bw, ai.libs.jaicore.logic.fol.structure.Monom monom, int i, boolean newline)	Prints a single monom into the bufferedwriter

Methods inherited from class java.lang.Object

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

Constructor Detail

AShop2Converter

public AShop2Converter()

Method Detail

printMonom

public void printMonom(java.io.BufferedWriter bw,
                       ai.libs.jaicore.logic.fol.structure.Monom monom,
                       int i)
                throws java.io.IOException

Prints a single monom into the bufferedwriter

Parameters:

bw - the bufferedwriter which determines the output

monom - the monom to write

i - the number if indents infront of the monom

Throws:

java.io.IOException

printMonom

public void printMonom(java.io.BufferedWriter bw,
                       ai.libs.jaicore.logic.fol.structure.Monom monom,
                       int i,
                       boolean newline)
                throws java.io.IOException

Prints a single monom into the bufferedwriter

Parameters:

bw - the bufferedwriter which determines the output

monom - the monom to write

i - the number if indents infront of the monom

Throws:

java.io.IOException

indent

public java.lang.String indent(int numberOfIntends)

printLiteral

public abstract void printLiteral(java.io.BufferedWriter bw,
                                  ai.libs.jaicore.logic.fol.structure.Literal lit)
                           throws java.io.IOException

Throws:

java.io.IOException