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: