ix.iface.domain
Class TF_Writer
java.lang.Object
ix.iface.domain.DomainWriter
ix.iface.domain.LTF_Writer
ix.iface.domain.TF_Writer
public class TF_Writer
- extends LTF_Writer
Writes domain descriptions in O-Plan TF syntax.
Constructor Summary |
TF_Writer(java.io.File domainName)
|
Methods inherited from class ix.iface.domain.LTF_Writer |
isFullyPrintable, out, out, out, out, outAnnotationValue, outConstraintParameter, outDomain, outln, outMap, outNodeEndRef, outNodes, outObject, outOrderings, outPV, outRefinement, outTimeWindow, writeDomain, writeDomain, writeRefinement |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
S_WORLD_STATE
public static final Symbol S_WORLD_STATE
S_CONDITION
public static final Symbol S_CONDITION
S_EFFECT
public static final Symbol S_EFFECT
TF_Writer
public TF_Writer(java.io.File domainName)
outDomainAnnotation
void outDomainAnnotation(java.lang.Object key,
java.lang.Object value)
- Overrides:
outDomainAnnotation
in class LTF_Writer
outObjectClass
void outObjectClass(ObjectClass c)
- Overrides:
outObjectClass
in class LTF_Writer
outRefinementHeader
void outRefinementHeader(Refinement r)
- Overrides:
outRefinementHeader
in class LTF_Writer
outRefinementClose
void outRefinementClose()
- Overrides:
outRefinementClose
in class LTF_Writer
outClauseStart
void outClauseStart(java.lang.String name)
- Overrides:
outClauseStart
in class LTF_Writer
outClauseFinish
void outClauseFinish()
- Overrides:
outClauseFinish
in class LTF_Writer
outBigSeparator
void outBigSeparator()
- Overrides:
outBigSeparator
in class LTF_Writer
outSmallSeparator
void outSmallSeparator()
- Overrides:
outSmallSeparator
in class LTF_Writer
outVarDcls
void outVarDcls(java.util.List varDcls)
- Overrides:
outVarDcls
in class LTF_Writer
outNode
void outNode(NodeSpec spec)
- Overrides:
outNode
in class LTF_Writer
outOrdering
void outOrdering(Ordering ord)
- Overrides:
outOrdering
in class LTF_Writer
outConstraints
void outConstraints(java.util.List constraints)
- Overrides:
outConstraints
in class LTF_Writer
outConstraints
void outConstraints(java.lang.String clauseName,
java.util.List constraints)
outConstraint
void outConstraint(Constraint c)
- Overrides:
outConstraint
in class LTF_Writer
outIssues
void outIssues(java.util.List issues)
- Overrides:
outIssues
in class LTF_Writer
outIssue
void outIssue(Issue issue)
- Overrides:
outIssue
in class LTF_Writer
outComments
void outComments(java.lang.String comments)
- Overrides:
outComments
in class LTF_Writer
outAnnotations
void outAnnotations(Annotations annotations)
- Overrides:
outAnnotations
in class LTF_Writer
toString
java.lang.String toString(java.lang.Object o)
- Overrides:
toString
in class LTF_Writer
patternText
java.lang.String patternText(LList pattern)
safeName
java.lang.String safeName(java.lang.String name)