Este é o comando clausefilter que pode ser executado no provedor de hospedagem gratuita OnWorks usando uma de nossas várias estações de trabalho online gratuitas, como Ubuntu Online, Fedora Online, emulador online do Windows ou emulador online do MAC OS
PROGRAMA:
NOME
clausefilter - filtrar fórmulas com modelos
SINOPSE
filtro de cláusula <arquivo de interpretações>teste> <arquivo de fórmulas>>arquivo de fórmulas de passagem>
DESCRIÇÃO
Esta página de manual documenta resumidamente o filtro de cláusula comando.
Dado um conjunto de interpretações, um teste para realizar, e um fluxo de formulas, filtro de cláusula
produz as fórmulas que passam no teste.
TESTES
Os seguintes testes estão disponíveis.
verdadeiro_em_tudo
Fórmula verdadeira em todas as interpretações.
verdadeiro_em_algum
Fórmula verdadeira em alguma interpretação.
falso_em_tudo
Fórmula falsa em todas as interpretações.
falso_em_algum
Fórmula falsa em alguma interpretação.
Use clausefilter online usando serviços onworks.net
