public class TheoryFilter extends Object
Modifier and Type | Field and Description |
---|---|
protected PJProlog |
_engine |
protected Theory |
_filter |
protected Theory |
_theory |
Constructor and Description |
---|
TheoryFilter(Theory theory,
String filter) |
TheoryFilter(Theory theory,
Theory filter)
Creates a new instance of TheoryFilter
|