ai.libs.jaicore.logic.fol.structure

Class Clause

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.Clause

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<Literal>, java.util.Collection<Literal>, java.util.Set<Literal>

public class Clause
extends LiteralSet

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
Clause()
Clause(Literal l)
Clause(LiteralSet literals, java.util.Map<VariableParam,? extends LiteralParam> m)
Clause(java.lang.String literals)

Method Summary

Modifier and Type	Method and Description
static Clause	getByNegatingMonom(Monom m)
boolean	isTautological()
java.lang.String	toString()

Methods inherited from class ai.libs.jaicore.logic.fol.structure.LiteralSet

add, containsGroundEqualityPredicateThatEvaluatesTo, containsLiteralWithPredicatename, containsPositiveAndNegativeVersionOfLiteral, getConstantParams, getImplyingMappingThatMapsFromConclusionVarsToPremiseVars, getInterpretedLiterals, getLiteralsWithPropertyName, getNegativeLiterals, getParameters, getPositiveLiterals, getVariableParams, hasVariables, implies, isConsistent, 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.Set

addAll, containsAll, equals, hashCode, removeAll, retainAll, toArray, toArray

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

Constructor Detail

Clause

public Clause()

Clause

public Clause(Literal l)

Clause

public Clause(LiteralSet literals,
              java.util.Map<VariableParam,? extends LiteralParam> m)

Clause

public Clause(java.lang.String literals)

Method Detail

getByNegatingMonom

public static Clause getByNegatingMonom(Monom m)

toString

public java.lang.String toString()

Overrides:

toString in class java.util.AbstractCollection<Literal>

isTautological

public boolean isTautological()