aterm.hh File Reference

#include <stdio.h>
#include <assert.h>
#include "tlib.hh"
#include "signals.hh"
#include "sigprint.hh"
#include "simplify.hh"
#include "normalize.hh"
#include "sigorderrules.hh"
#include <map>
#include <list>
#include "mterm.hh"

Include dependency graph for aterm.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	aterm
	Implements a additive term, a set of mterms added together m1 + m2 + m3 + ... More...

Functions
ostream &	operator<< (ostream &s, const aterm &a)

Function Documentation

ostream& operator<< ( ostream &  s, const aterm &  a  )

inline

Definition at line 45 of file aterm.hh.

References aterm::print().

{ return a.print(s); }

Here is the call graph for this function: