?? instantiateiii.h
字號:
/********************************************************************* * File: instantiateIII.h * Description: headers for instantiating, third part * * - expand all quantifiers into con/dis junctions * - multiply params of (conditional) effects * - multiply params of operators * * Author: Joerg Hoffmann 1999 * *********************************************************************/ /********************************************************************* * (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 _INSTIII_H#define _INSTIII_Hvoid multiply_params_and_quantifiers( void );Bool expand_preconditions_of_CodeOperator( CodeOperator **op );Bool expand_conditions_of_effect( CodeNode **ef );void multiply_params_of_effect( CodeNode *pars, CodeNode *when_sons );void multiply_params_of_CodeOperator( CodeOperator *op, int curr, CodeNode *precond );void expand_quantifiers_under_CodeNode( CodeNode **n, short int var, short int constant );void make_inst_version_of_effect( CodeNode **n, short int var, short int constant );void make_inst_version_of_condition( CodeNode **n, short int var, short int constant );void merge_multiple_ANDs_and_ORs( CodeNode **n );#endif /* _INSTIII_H */
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -