PDRplan/output.h at master · quickbeam123/PDRplan · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70


/*********************************************************************
 * (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

#ifdef __cplusplus
extern "C"
{
#endif


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_GroundedFactToFile( 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 );

#ifdef __cplusplus
}
#endif

#endif /* _OUTPUT_H */