EnglishFrenchSpanish

Ad


OnWorks favicon

interpfilter - Online in the Cloud

Run interpfilter in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command interpfilter that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

PROGRAM:

NAME


interpfilter - filter models with formulas

SYNOPSIS


interpfilter <formulas-file> <test> < <interpretations-file> > <passing-interpretations-
file>

DESCRIPTION


This manual page documents briefly the interpfilter command.

Given a set of formulas, a test to perform, and a stream of interpretations, interpfilter
outputs the interpretations that pass the test.

TESTS


The following tests are available.

all_true
All formulas true in given interpretation.

some_true
Some formula true in given interpretation.

all_false
All formulas false in given interpretation.

some_false
Some formula false in given interpretation.

Use interpfilter online using onworks.net services


Ad