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