| Package | Description |
|---|---|
| org.colomoto.biolqm.helper.implicants |
| Modifier and Type | Method and Description |
|---|---|
Term |
Term.combine(Term term) |
static Term |
Term.read(Reader reader) |
static Term |
Term.readintArray(int[] state) |
| Modifier and Type | Method and Description |
|---|---|
Iterable<Term> |
Formula.getTerms() |
| Modifier and Type | Method and Description |
|---|---|
Term |
Term.combine(Term term) |
| Constructor and Description |
|---|
Formula(List<Term> termList) |
Formula(List<Term> termList,
int[] regulators) |
Copyright © 2012–2020. All rights reserved.