assignment2slitherlink.cpp File Reference

Contains functions used to to read a solution for a slitherink from an assignment returned by minisat2. More...

#include "../libcnf/libcnf.h"
#include "slitherlink.h"
Include dependency graph for assignment2slitherlink.cpp:

Go to the source code of this file.

Defines

#define HORIZONTAL   true
#define VERTICAL   false

Functions

int main (void)

Detailed Description

Contains functions used to to read a solution for a slitherink from an assignment returned by minisat2.

Author:
Léo Perrin
Date:
Time-stamp: <2012-06-19 16:11:24 leo>

Definition in file assignment2slitherlink.cpp.


Define Documentation

#define HORIZONTAL   true

Definition at line 14 of file assignment2slitherlink.cpp.

#define VERTICAL   false

Definition at line 15 of file assignment2slitherlink.cpp.


Function Documentation

int main ( void  )

Definition at line 18 of file assignment2slitherlink.cpp.

 All Classes Files Functions Variables Defines