HornFormula (jaicore-logic 0.2.4 API)

java.lang.Object
- java.util.AbstractCollection<E>
- - java.util.AbstractSet<E>
  - - java.util.HashSet<HornRule>
    - - ai.libs.jaicore.logic.fol.structure.HornFormula

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<HornRule>, java.util.Collection<HornRule>, java.util.Set<HornRule>
```
public class HornFormula
extends java.util.HashSet<HornRule>
```
See Also:

Serialized Form

- Constructor Summary
  
  Constructors
  Constructor Description
  
  HornFormula()
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  java.util.Set<ConstantParam> getConstantParams()
  - Methods inherited from class java.util.HashSet
    add, clear, clone, contains, isEmpty, iterator, remove, size, spliterator
  - Methods inherited from class java.util.AbstractSet
    equals, hashCode, removeAll
  - Methods inherited from class java.util.AbstractCollection
    addAll, containsAll, retainAll, toArray, toArray, toString
  - Methods inherited from class java.lang.Object
    finalize, getClass, notify, notifyAll, wait, wait, wait
  - Methods inherited from interface java.util.Collection
    parallelStream, removeIf, stream, toArray
  - Methods inherited from interface java.lang.Iterable
    forEach
  - Methods inherited from interface java.util.Set
    addAll, containsAll, equals, hashCode, removeAll, retainAll, toArray, toArray

Constructor Detail
- HornFormula
```
public HornFormula()
```

Method Detail

getConstantParams

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