이 번역 페이지는 최신 내용을 담고 있지 않습니다. 최신 내용을 영문으로 보려면 여기를 클릭하십시오.
가정(Assumption)
기호 객체의 가능한 값 제한
변수나 표현식의 가능한 값 범위를 제한하려면 가정을 사용하십시오. 자세한 내용은 Use Assumptions on Symbolic Variables 항목을 참조하십시오. 조건이 성립하는지 확인하려면 isAlways
를 사용하십시오.
함수
도움말 항목
- Use Assumptions on Symbolic Variables
Set, check, and clear assumptions on symbolic variables.
- Clear Assumptions and Reset the Symbolic Engine
Remove assumptions and reset the state of the engine.