pddl-types.h

intel ipp4.1性能库的一些例子。

/*********************************************************************
 * File: pddl-types.c
 * Description: Functions for the pddl dependend part of
 *              the parser and the preprocessing.
 *
 * Author: Frank Rittinger 1998
 *
 *********************************************************************/ 
/*********************************************************************
 * (C) Copyright 1998 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. 
 *********************************************************************/



#ifndef _PDDL_TYPES_H
#define _PDDL_TYPES_H



#include "ipp.h"
#include "pddl.h"



/* OUT OF USE */

type_tree main_type_tree();

type_tree new_type_tree(char * name);

type_tree_list new_type_tree_list(char * name);

/* steps recursively through type tree and searches for name */
type_tree find_branch(char * name, type_tree root );

/* calls itself recursively to get all objects that are of the types and
   subtypes of ttl */
FactList * build_object_list_from_ttl(type_tree_list ttl, 
				      FactList * types_done );

TokenList * type_already_known(char * name, FactList * types);

void build_orig_constant_list();

void add_to_type_tree(FactList * t_list, type_tree tree );

void print_type_tree_list( type_tree_list root, int indent );

void adjust_equal_types(PlOperator * ops);


/* NEW IMPLEMENTATION */



void new_build_orig_constant_list( void );
void collect_type_names_in_pl( PlNode *n );
int my_get_type( char *str );
void make_either_ty( TypedList *tyl );
void make_either_ty_in_pl( PlNode *n );
void normalize_tyl_in_pl( PlNode **n );



#endif /* _PDDL_TYPES_H */