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
All Methods Instance Methods Abstract Methods Concrete Methods 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 bufferedwritervoid
printMonom(java.io.BufferedWriter bw, ai.libs.jaicore.logic.fol.structure.Monom monom, int i, boolean newline)
Prints a single monom into the bufferedwriter
-
-
-
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 outputmonom
- the monom to writei
- 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 outputmonom
- the monom to writei
- 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
-
-