Rule (jaicore-logic 0.2.7 API)

java.lang.Object
- ai.libs.jaicore.logic.fol.structure.Rule

public class Rule
extends java.lang.Object

Constructor Summary

Constructors
Constructor Description

Rule(CNFFormula pPremise, CNFFormula pConclusion)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`CNFFormula`	`getConclusion()`
`java.util.Set<ConstantParam>`	`getConstantParams()`
`CNFFormula`	`getPremise()`
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Rule

public Rule(CNFFormula pPremise,
            CNFFormula pConclusion)

Method Detail

getPremise
```
public CNFFormula getPremise()
```

getConclusion
```
public CNFFormula getConclusion()
```

toString
```
public java.lang.String toString()
```
Overrides:

toString in class java.lang.Object

getConstantParams

public java.util.Set<ConstantParam> getConstantParams()