HornRule (jaicore-logic 0.1.6 API)

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

public class HornRule
extends java.lang.Object

- Constructor Summary
  
  Constructors
  Constructor Description
  
  HornRule(Monom premise, Literal conclusion)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  Literal getConclusion()
  
  Monom getPremise()
  
  java.lang.String toString()
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

HornRule

public HornRule(Monom premise,
                Literal conclusion)

Method Detail

getPremise
```
public Monom getPremise()
```

getConclusion
```
public Literal getConclusion()
```

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

toString in class java.lang.Object