removing SATPlan and adding conda and sypet

[Benchmarks_CSolver.git] / satPlan2006 / include / output.h

diff --git a/satPlan2006/include/output.h b/satPlan2006/include/output.h
deleted file mode 100644 (file)
index 85c2136..0000000
--- a/satPlan2006/include/output.h
+++ /dev/null
@@ -1,62 +0,0 @@
-
-
-
-/*********************************************************************
- * (C) Copyright 1999 Albert Ludwigs University Freiburg
- *     Institute of Computer Science
- *
- * All rights reserved. Use of this software is permitted for 
- * non-commercial research purposes, and it may be copied only 
- * for that use.  All copies must include this copyright message.
- * This software is made available AS IS, and neither the authors
- * nor the  Albert Ludwigs University Freiburg make any warranty
- * about the software or its performance. 
- *********************************************************************/
-
-
-
-
-
-/*********************************************************************
- * File: output.h
- * Description: print headers
- *
- * Author: Joerg Hoffmann 1999
- *
- *********************************************************************/ 
-
-
-
-
-
-#ifndef _OUTPUT_H
-#define _OUTPUT_H
-
-
-
-void print_FactList( FactList *list, char *sepf, char *sept );
-void print_hidden_tokenlist( TokenList *list, char *sep );
-void print_indent( int indent );
-void print_PlNode( PlNode *plnode, int indent );
-void print_plops( PlOperator *plop );
-
-
-
-void print_Fact( Fact *f );
-void print_FactToFile( int index, FILE* fp );
-void print_ft_name( int index );
-void print_op_name( int index );
-void print_op_nameToFile( int index, FILE* fp );
-void print_Operator( Operator *o );
-void print_Action( Action *a );
-
-
-
-void print_BitVector( BitVector *vec, int vec_len );
-
-
-
-void print_plan( void );
-
-
-#endif /* _OUTPUT_H */