Package nltk :: Package inference :: Module mace :: Class Mace

type Mace

           object --+    
                    |    
prover9.Prover9Parent --+
                        |
           object --+   |
                    |   |
     api.ModelBuilder --+
                        |
                       Mace

Instance Methods

[hide private]

__init__(self, end_size=500)

source code

tuple of (bool, nltk.sem.evaluate.Valuation)

_build_model(self, goal=None, assumptions=None, verbose=False)
Use Mace4 to build a first order model.

source code

_call_mace4(self, input_str, args=[], verbose=False)
Call the mace4 binary with the given input. source code

Inherited from prover9.Prover9Parent: binary_locations, config_prover9, prover9_input

Inherited from prover9.Prover9Parent (private): _call, _find_binary

Inherited from api.ModelBuilder: build_model

Class Variables

[hide private]

_mace4_bin = None

Inherited from prover9.Prover9Parent (private): _binary_location

Instance Variables

[hide private]

_end_size
The maximum model size that Mace will try before simply returning false.

Inherited from prover9.Prover9Parent (private): _timeout

Method Details

[hide private]

init(self, end_size=500)
(Constructor)

source code

Overrides: prover9.Prover9Parent.__init__

_build_model(self, goal=None, assumptions=None, verbose=False)

source code

Use Mace4 to build a first order model.

Returns: tuple of (bool, nltk.sem.evaluate.Valuation): True if a model was found (i.e. Mace returns value of 0), else False
Overrides: api.ModelBuilder._build_model