| java.lang.Object
 de.uka.ilkd.key.counterexample.Configuration
| Configuration | | public class Configuration (Code) | | This class is the storage for global configuration data
of the counterexample subpackage. In the future it might
even have a nice editable window instead of a configuration file
You can use these to optimize your tests during runtime.
These configurations are stored in a separate textfile with
the name supplied by 'configfilename'
-Size of Domain
-Arguments to call Mgtp with
-which Axioms to use
-etc.
author:
Sonja Pieper
version:
0.1, created 08/08/01 |
| Constructor Summary | |
| public | Configuration(String filename)
creates a new configuration from the file specified by filename. |
| Method Summary | |
| public void | changeConfiguration()
| | public void | readConfig()
this method reads the configuration and stores it in the
respective fields. | | public void | setDefault()
with this method you can set all configuration data to default values. |
| args | | String[] args(Code) | | Runtime parameters for the call of Mgtp, possible params: ext, verbose ...
|
| domainmax | | int domainmax(Code) | | Number of constructors allowed in constructorterms
|
| filename | | String filename(Code) | | File in which to save the generated calculus for debugging f.e.
|
| maxargs | | int maxargs(Code) | | Max number of parameters for which parameter rewriting
will be generated
|
| optimize | | boolean optimize(Code) | | Flag for use of the optimized axiom transformation
|
| test | | boolean test(Code) | | Flag which determines wether there is a lemma?
|
| tex | | boolean tex(Code) | | Flag that determines wether to produce tex-output
|
| useaxioms | | String useaxioms(Code) | | String of ones and zeroes indicating which axioms to use
|
| Configuration | | public Configuration(String filename)(Code) | | creates a new configuration from the file specified by filename.
Parameters:
filename - this should be the name of the file in whichyour configuration is stored for example "max" |
| changeConfiguration | | public void changeConfiguration()(Code) | | |
| readConfig | | public void readConfig()(Code) | | this method reads the configuration and stores it in the
respective fields. it is called by the constructor, so you
don't need to worry about it.
|
| setDefault | | public void setDefault()(Code) | | with this method you can set all configuration data to default values.
|
|
|