Monom (jaicore-logic 0.2.7 API)

java.lang.Object
- java.util.AbstractCollection<E>
- - java.util.AbstractSet<E>
  - - java.util.HashSet<Literal>
    - - ai.libs.jaicore.logic.fol.structure.LiteralSet
      - ai.libs.jaicore.logic.fol.structure.Monom

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<Literal>, java.util.Collection<Literal>, java.util.Set<Literal>
```
public class Monom
extends LiteralSet
```
See Also:

Serialized Form

Constructor Summary

Constructors
Constructor	Description
`Monom()`
`Monom(Literal l)`
`Monom(java.lang.String literals)`
`Monom(java.util.Collection<Literal> set)`
`Monom(java.util.Collection<Literal> set, boolean deep)`
`Monom(java.util.Collection<Literal> literals, java.util.Map<? extends LiteralParam,? extends LiteralParam> mapping)`

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`CNFFormula`	`asCNF()`
`static Monom`	`fromCNFFormula(CNFFormula formula)`
`java.util.Map<VariableParam,VariableParam>`	`getImplyingMappingThatMapsFromConclusionVarsToPremiseVars(LiteralSet conclusion)`
`boolean`	`implies(LiteralSet conclusion)`
`boolean`	`isConsistent()`
`boolean`	`isContradictory()`
`java.lang.String`	`toString()`

Methods inherited from class ai.libs.jaicore.logic.fol.structure.LiteralSet
add, containsGroundEqualityPredicateThatEvaluatesTo, containsLiteralWithPredicatename, containsPositiveAndNegativeVersionOfLiteral, getConstantParams, getInterpretedLiterals, getLiteralsWithPropertyName, getNegativeLiterals, getParameters, getPositiveLiterals, getVariableParams, hasVariables, toPropositionalSet

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

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

Monom
```
public Monom()
```

Monom
```
public Monom(Literal l)
```

Monom

public Monom(java.lang.String literals)

Monom

public Monom(java.util.Collection<Literal> set)

Monom

public Monom(java.util.Collection<Literal> set,
             boolean deep)

Monom

public Monom(java.util.Collection<Literal> literals,
             java.util.Map<? extends LiteralParam,? extends LiteralParam> mapping)

Method Detail
- fromCNFFormula
```
public static Monom fromCNFFormula(CNFFormula formula)
```
- toString
```
public java.lang.String toString()
```
  Overrides:
  
  toString in class java.util.AbstractCollection<Literal>
- isContradictory
```
public boolean isContradictory()
```
- isConsistent
```
public boolean isConsistent()
```
  Overrides:
  
  isConsistent in class LiteralSet
- implies
```
public boolean implies(LiteralSet conclusion)
                throws java.lang.InterruptedException
```
  Overrides:
  
  implies in class LiteralSet
  
  Parameters:
  
  conclusion - Another literal set that may be concluded by this literal set.
  
  Returns:
  
  True, if this literal set logically implies the conclusion literal set under any partial mapping.
  
  Throws:
  
  java.lang.InterruptedException
- getImplyingMappingThatMapsFromConclusionVarsToPremiseVars
```
public java.util.Map<VariableParam,VariableParam> getImplyingMappingThatMapsFromConclusionVarsToPremiseVars(LiteralSet conclusion)
                                                                                                           throws java.lang.InterruptedException
```
  Overrides:
  
  getImplyingMappingThatMapsFromConclusionVarsToPremiseVars in class LiteralSet
  
  Throws:
  
  java.lang.InterruptedException
- asCNF
```
public CNFFormula asCNF()
```