Main Page
|
Namespace List
|
Class Hierarchy
|
Compound List
|
File List
|
Compound Members
|
File Members
|
Related Pages
Term.cpp File Reference
#include <string>
#include "
Term.hpp
"
#include "
Sort.hpp
"
#include "
Substitution.hpp
"
Functions
bool
allIn
(const
Term
t,
Sort
<
Var
> &s)
Function Documentation
bool allIn
(
const
Term
t
,
Sort
<
Var
> &
s
)
Generated on Sat Jun 28 15:08:58 2003 for Vampire by
1.3.2