ix.iface.domain
Class TF_Writer

java.lang.Object
  extended by ix.iface.domain.DomainWriter
      extended by ix.iface.domain.LTF_Writer
          extended by ix.iface.domain.TF_Writer

public class TF_Writer
extends LTF_Writer

Writes domain descriptions in O-Plan TF syntax.


Nested Class Summary
 
Nested classes/interfaces inherited from class ix.iface.domain.DomainWriter
DomainWriter.DomainWriterWrapper
 
Constructor Summary
TF_Writer(java.io.File domainName)
           
 
Method Summary
 
Methods inherited from class ix.iface.domain.LTF_Writer
writeDomain, writeDomain, writeRefinement
 
Methods inherited from class ix.iface.domain.DomainWriter
makeWriter, saveDomain, saveDomain
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TF_Writer

public TF_Writer(java.io.File domainName)