public class Rule
extends java.lang.Object
| Constructor and Description |
|---|
Rule(CNFFormula pPremise,
CNFFormula pConclusion) |
| Modifier and Type | Method and Description |
|---|---|
CNFFormula |
getConclusion() |
java.util.Set<ConstantParam> |
getConstantParams() |
CNFFormula |
getPremise() |
java.lang.String |
toString() |
public Rule(CNFFormula pPremise, CNFFormula pConclusion)
public CNFFormula getPremise()
public CNFFormula getConclusion()
public java.lang.String toString()
toString in class java.lang.Objectpublic java.util.Set<ConstantParam> getConstantParams()