CVC3
|
Implementation of class Variable; see variable.h for detail. More...
#include <sstream>
#include "variable.h"
#include "search_rules.h"
#include "memory_manager_chunks.h"
#include "memory_manager_malloc.h"
Go to the source code of this file.
Namespaces | |
namespace | CVC3 |
Functions | |
ostream & | CVC3::operator<< (ostream &os, const Variable &l) |
std::ostream & | CVC3::operator<< (std::ostream &os, const Literal &l) |
ostream & | CVC3::operator<< (ostream &os, const VariableValue &v) |
Implementation of class Variable; see variable.h for detail.
Author: Sergey Berezin
Created: Fri Apr 25 12:30:17 2003
License to use, copy, modify, sell and/or distribute this software and its documentation for any purpose is hereby granted without royalty, subject to the terms and conditions defined in the LICENSE file provided with this distribution.
Definition in file variable.cpp.