#include <Unit.hpp>
Public Member Functions | |
| Data (char *name, InputType untype, const Formula &) | |
| Data (char *name, InputType untype, const Clause &) | |
| Data (InferenceRule, const Formula &, const Unit &parent) | |
| Data (InferenceRule, const Clause &, const Unit &parent) | |
| Data (const Clause &, const UnitList &parents) | |
| Data (const Formula &, const UnitList &parents) | |
| ~Data () | |
| void | ref () |
| void | deref () |
| UnitType | unitType () const |
| InputType | inputType () const |
| DefType | defType () const |
| void | setDefType (DefType) |
| const Formula & | formula () const |
| const Clause & | clause () const |
| void | setFormula (Formula f) |
| char * | name () const |
| InferenceRule | rule () const |
| long | number () const |
| const UnitList & | parents () const |
| InputType | intype () const |
Private Attributes | |
| int | _counter |
| UnitType | _untype |
| InputType | _intype |
| InferenceRule | _rule |
| long | _number |
| UnitList | _parents |
| char * | _name |
| Clause | _clause |
| Formula | _formula |
| DefType | _defType |
Static Private Attributes | |
| long | _lastNumber = 0 |
|
||||||||||||||||
|
|
|
||||||||||||||||
|
|
|
||||||||||||||||
|
|
|
||||||||||||||||
|
|
|
||||||||||||
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
This software is an adaptation of the theorem prover Vampire for working with large knowledge bases in the KIF format, see http://www.prover.info for publications on Vampire. Copyright (C) Andrei Voronkov and Alexandre Riazanov
This library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details. You should have received a copy of the GNU Lesser General Public License along with this library; if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.3.2