This class represents a standardized implementation of AbstractExecDecproc.
It checks the availability of a decision procedure by invoking it with one or zero command
line arguments. Thereby a normal termination of execution is presumed, which, in most cases,
can be reached by the use of a single command line argument.
All decicion procedures that can be treated in this way should be handled by this class
To modify the actual availability check, a hook for subclassing is provided by the
isCurrentDecprocAvailable method
See Also: ConcreteExecDecproc.isCurrentDecprocAvailable(String,String) See Also: author: akuwertz version: 1.0, 09/10/2006
|