CNormalLogical.cpp File Reference

#include <vector>
#include <bitset>
#include <sstream>
#include <algorithm>
#include <assert.h>
#include "CNormalLogical.h"
#include "CNormalChoiceLogical.h"
#include "CNormalLogicalItem.h"

Include dependency graph for CNormalLogical.cpp:

Go to the source code of this file.

Functions
std::ostream &	operator<< (std::ostream &os, const CNormalLogical &logical)

Function Documentation

std::ostream& operator<<	(	std::ostream &	os,
		const CNormalLogical &	logical
	)

Definition at line 174 of file CNormalLogical.cpp.

References CNormalLogical::toString().

{
  os << logical.toString();
  return os;
}