solver_test.cpp File Reference

Simple Test cases for Constraint Solver. More...

#include "common.h"
#include <iostream>
#include <utility>
#include <algorithm>
#include "pcVariable.h"
#include "pcVCSet.h"
#include "pcNetwork.h"
#include "pcSolver.h"
#include "pcParser.h"
#include "pcMathVM.h"
#include "pc.h"
Include dependency graph for solver_test.cpp:

Go to the source code of this file.

Data Structures

struct  f1
struct  f2
struct  f3
struct  f4


typedef Variable< int > * Vip


int main ()


struct f1 f1
struct f2 f2
struct f3 f3
struct f4 f4

Detailed Description

Simple Test cases for Constraint Solver.

Definition in file solver_test.cpp.

Typedef Documentation

typedef Variable<int>* Vip

Definition at line 40 of file solver_test.cpp.

Function Documentation

int main ( void  )

Definition at line 81 of file solver_test.cpp.

References N, PC_DB_FASTF_T, PC_DB_POINT_T, PC_DB_VECTOR_T, pc_free_constraint(), pc_free_pcset(), pc_init_pcset(), pc_isperpendicular(), pc_mk_isperpendicular(), pc_pushconstraint_expr(), pc_pushconstraint_struct(), and pc_pushparam_struct().

Here is the call graph for this function:

Variable Documentation

struct f3 f3
struct f4 f4