#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"
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) |
ostream& operator<< | ( | ostream & | s, | |
const aterm & | a | |||
) | [inline] |
Definition at line 45 of file aterm.hh.
References aterm::print().
00045 { return a.print(s); }