To address this shortcoming, extension points are identified in the base method.
为克服此缺点,在基本方法中标识了扩展点。
Now, the main methodology of AGD includes: numeric based method, symbol based method, rule base method and graph based method.
目前,几何自动推理的主要方法有:基于数值计算的方法、基于符号计算的方法、基于规则的方法和基于图论的方法。
After calling Validator with the help of base , RequiredValidator deletes the base method from the current object because it is not needed anymore.
在base的协助下调用Validator之后,RequiredValidator从当前对象删除base方法,因为不再需要它。
应用推荐