Package ai.libs.jaicore.logic.fol.structure

Class Monom

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

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()