Timetabler
include
clauses.h
Go to the documentation of this file.
1
3
#ifndef CLAUSES_H
4
#define CLAUSES_H
5
6
#include <vector>
7
#include "
cclause.h
"
8
#include "
timetabler.h
"
9
10
using namespace
NSPACE
;
11
12
class
CClause
;
13
23
class
Clauses
{
24
private
:
28
std::vector<CClause> clauses;
29
30
public
:
31
Clauses
(
const
std::vector<CClause> &);
32
Clauses
(
const
CClause
&);
33
Clauses
(
const
Lit &);
34
Clauses
(
const
Var &);
35
Clauses
();
36
Clauses
operator~();
37
Clauses
operator&(
const
Clauses
&);
38
Clauses
operator&(
const
CClause
&);
39
Clauses
operator|(
const
Clauses
&);
40
Clauses
operator|(
const
CClause
&);
41
Clauses
operator>>(
const
Clauses
&);
42
void
addClauses(
const
CClause
&);
43
void
addClauses(
const
std::vector<CClause> &);
44
void
addClauses(
const
Clauses
&);
45
std::vector<CClause> getClauses()
const
;
46
void
print();
47
void
clear();
48
};
49
50
#endif
CClause
Class for representing a clause.
Definition:
cclause.h:21
NSPACE
timetabler.h
cclause.h
Clauses
Class for representing a set of clauses.
Definition:
clauses.h:23
Generated by
1.8.13