Class DomainFiles

java.lang.Object
  |
  +--FileCollection
        |
        +--DomainFiles
All Implemented Interfaces:
Cloneable

public class DomainFiles
extends FileCollection

This class allows the programmer to access the list of A-Prolog files that describe the domain.

The only fields of interest to the programmer are the constants describing the various components of the collection of files (ACT_DESC, PROB_INST, HIDES).

The only method of interest to the programmer is getFiles, inherited from FilesCollection, which allows the retrieval of a set of files from the collection.


Field Summary
static int ACT_DESC
          This constant denotes the files of the action description.
static int HIDES
          This constant denotes the files that contain #hide statements (atoms that should be hidden in the output of the inference engine).
static int PROB_INST
          This constant denotes the files of the problem instance.
 
Constructor Summary
DomainFiles()
          Used by the APLAgent Manager
 
Method Summary
 boolean getAcceptAllFilterUsed(int m)
          Used by the APLAgent Manager
 String getCollectionName()
          Used by the APLAgent Manager
 FileFilter[] getFileFilters(int m)
          Used by the APLAgent Manager
 
Methods inherited from class FileCollection
add, clear, clone, getFiles, getFirstFile, getModuleName, getModuleNumber, getNModules, getSingleFileAllowed, load, remove, save
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

ACT_DESC

public static final int ACT_DESC
This constant denotes the files of the action description.

PROB_INST

public static final int PROB_INST
This constant denotes the files of the problem instance.

HIDES

public static final int HIDES
This constant denotes the files that contain #hide statements (atoms that should be hidden in the output of the inference engine).
Constructor Detail

DomainFiles

public DomainFiles()
Used by the APLAgent Manager
Method Detail

getCollectionName

public String getCollectionName()
Used by the APLAgent Manager
Overrides:
getCollectionName in class FileCollection

getFileFilters

public FileFilter[] getFileFilters(int m)
Used by the APLAgent Manager
Overrides:
getFileFilters in class FileCollection

getAcceptAllFilterUsed

public boolean getAcceptAllFilterUsed(int m)
Used by the APLAgent Manager
Overrides:
getAcceptAllFilterUsed in class FileCollection