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

Substitution Class Reference

#include <Substitution.hpp>

Inheritance diagram for Substitution:

Lst< Binding > List of all members.

Public Member Functions

 Substitution ()
 Substitution (const Substitution &sbst)
void operator= (const Lst< Binding > &rhs)
void bind (Var v, Term t)
bool bound (Var v, Term &t) const
void undoBinding (Var v)
void domain (VarList &vs) const
void range (TermList &ts) const
bool inRange (Term t) const

Private Member Functions

void domain (VarList &vs, Lst< Binding >) const
void range (TermList &ts, Lst< Binding >) const
Lst< BindingundoBinding (Var v, Lst< Binding >)

Constructor & Destructor Documentation

Substitution::Substitution  )  [inline]
 

Substitution::Substitution const Substitution sbst  )  [inline]
 


Member Function Documentation

void Substitution::bind Var  v,
Term  t
[inline]
 

bool Substitution::bound Var  v,
Term t
const
 

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

void Substitution::domain VarList vs,
Lst< Binding
const [private]
 

void Substitution::domain VarList vs  )  const [inline]
 

bool Substitution::inRange Term  t  )  const
 

void Substitution::operator= const Lst< Binding > &  rhs  )  [inline]
 

void Substitution::range TermList ts,
Lst< Binding
const [private]
 

void Substitution::range TermList ts  )  const [inline]
 

Lst< Binding > Substitution::undoBinding Var  v,
Lst< Binding
[private]
 

void Substitution::undoBinding Var  v  ) 
 


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