이것은 Ubuntu Online, Fedora Online, Windows 온라인 에뮬레이터 또는 MAC OS 온라인 에뮬레이터와 같은 여러 무료 온라인 워크스테이션 중 하나를 사용하여 OnWorks 무료 호스팅 제공업체에서 실행할 수 있는 interpfilter 명령입니다.
프로그램:
이름
interpfilter - 수식을 사용하여 모델 필터링
개요
인터프필터 <수식 파일>test> <해석 파일> >통과-해석-
파일>
기술
이 매뉴얼 페이지는 간략하게 설명합니다 인터프필터 명령.
주어진 세트 방식은 test 수행하고, 스트림을 해석, 인터프필터
테스트를 통과한 해석을 출력합니다.
시험 준비 프로그램
다음 테스트를 사용할 수 있습니다.
모두_사실
주어진 해석에서 모든 공식은 참입니다.
some_true
주어진 해석에서 일부 공식은 참입니다.
모두 거짓
주어진 해석에서 모든 공식은 거짓입니다.
some_false
주어진 해석에서 일부 수식은 거짓입니다.
onworks.net 서비스를 사용하여 온라인으로 interpfilter를 사용하십시오.