FeasibleRegionStudy.cpp 文件参考

#include "FeasibleRegionStudy.hpp"
#include "AstScript/Expr.hpp"
#include "AstUtil/Logger.hpp"
#include <climits>

命名空间
namespace	ast

详细描述

可行域研究实现

对变量在界内进行网格搜索，每次迭代设置变量值、执行命令、验证约束， 最终确定满足所有约束的可行区域

作者

axel

日期

2026-06-08

版权所有

版权所有 (C) 2026-present, SpaceAST项目.

SpaceAST项目（https://github.com/space-ast/ast） 本软件基于 Apache 2.0 开源许可证分发。 您可在遵守许可证条款的前提下使用、修改和分发本软件。 许可证全文请见：

http://www.apache.org/licenses/LICENSE-2.0

重要须知： 软件按"现有状态"提供，无任何明示或暗示的担保条件。 除非法律要求或书面同意，作者与贡献者不承担任何责任。 使用本软件所产生的风险，需由您自行承担。