Main Page | Namespace List | Class Hierarchy | Compound List | File List | Compound Members | File Members | Related Pages

Unit::Data Class Reference

#include <Unit.hpp>

List of all members.

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 Formulaformula () const
const Clauseclause () const
void setFormula (Formula f)
char * name () const
InferenceRule rule () const
long number () const
const UnitListparents () 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


Constructor & Destructor Documentation

Unit::Data::Data char *  name,
InputType  untype,
const Formula
 

Unit::Data::Data char *  name,
InputType  untype,
const Clause
 

Unit::Data::Data InferenceRule  ,
const Formula ,
const Unit parent
 

Unit::Data::Data InferenceRule  ,
const Clause ,
const Unit parent
 

Unit::Data::Data const Clause ,
const UnitList parents
 

Unit::Data::Data const Formula ,
const UnitList parents
 

Unit::Data::~Data  ) 
 


Member Function Documentation

const Clause & Unit::Data::clause  )  const [inline]
 

DefType Unit::Data::defType  )  const [inline]
 

void Unit::Data::deref  )  [inline]
 

const Formula & Unit::Data::formula  )  const [inline]
 

InputType Unit::Data::inputType  )  const [inline]
 

InputType Unit::Data::intype  )  const
 

char * Unit::Data::name  )  const [inline]
 

long Unit::Data::number  )  const [inline]
 

const UnitList & Unit::Data::parents  )  const [inline]
 

void Unit::Data::ref  )  [inline]
 

InferenceRule Unit::Data::rule  )  const [inline]
 

void Unit::Data::setDefType DefType   )  [inline]
 

void Unit::Data::setFormula Formula  f  )  [inline]
 

UnitType Unit::Data::unitType  )  const [inline]
 


Member Data Documentation

Clause Unit::Data::_clause [private]
 

int Unit::Data::_counter [private]
 

DefType Unit::Data::_defType [private]
 

Formula Unit::Data::_formula [private]
 

InputType Unit::Data::_intype [private]
 

long Unit::Data::_lastNumber = 0 [static, private]
 

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

Author:
Alexandre Riazanov <riazanov@cs.man.ac.uk>

Andrei Voronkov <voronkov@cs.man.ac.uk>, <andrei@voronkov.com>

Date:
06/06/2003
This software is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation; either version 2.1 of the License, or (at your option) any later version.

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

char* Unit::Data::_name [private]
 

long Unit::Data::_number [private]
 

UnitList Unit::Data::_parents [private]
 

InferenceRule Unit::Data::_rule [private]
 

UnitType Unit::Data::_untype [private]
 


The documentation for this class was generated from the following files:
Generated on Sat Jun 28 15:09:00 2003 for Vampire by doxygen 1.3.2