| Package | Description |
|---|---|
| uk.ac.manchester.cs.jfact.kernel |
| Modifier and Type | Method and Description |
|---|---|
LogicFeatures |
Concept.getNegFeatures() |
LogicFeatures |
Concept.getPosFeatures() |
static LogicFeatures |
LogicFeatures.plus(LogicFeatures f1,
LogicFeatures f2) |
| Modifier and Type | Method and Description |
|---|---|
void |
LogicFeatures.or(LogicFeatures lf)
operator add
|
static LogicFeatures |
LogicFeatures.plus(LogicFeatures f1,
LogicFeatures f2) |
| Constructor and Description |
|---|
LogicFeatures(LogicFeatures lf)
copy c'tor
|
Copyright © 2018 The University of Manchester. All rights reserved.