Modifier and Type | Field and Description |
---|---|
protected Formula |
body
The fuzzy singletons that constitute the body of the rule
|
protected Formula |
head
The fuzzy singleton that is the head of the rule
|
Constructor and Description |
---|
Implication(Formula body,
Formula head) |
Modifier and Type | Method and Description |
---|---|
VariableTypeMap |
collectVariables(VariableTypeMap varMap)
Adds the
Variables |
boolean |
equals(Object otherObject) |
Formula |
flatten()
Collapses nested formulas of the same type and remove duplicates at the top level.
|
Set<Atom> |
getAtoms(Set<Atom> atoms) |
Formula |
getBody() |
Formula |
getDNF() |
Formula |
getHead() |
int |
hashCode() |
String |
toString() |
protected final Formula body
protected final Formula head
public Formula getBody()
public Formula getHead()
public Formula getDNF()
public VariableTypeMap collectVariables(VariableTypeMap varMap)
Formula
Variables
collectVariables
in interface Formula
public Formula flatten()
Formula
Copyright © 2018 University of California, Santa Cruz. All rights reserved.