Serialized Form

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

Class ai.libs.jaicore.logic.fol.structure.Clause extends LiteralSet implements Serializable

serialVersionUID:

3915423297171319761L

Class ai.libs.jaicore.logic.fol.structure.CNFFormula extends java.util.HashSet<Clause> implements Serializable

Class ai.libs.jaicore.logic.fol.structure.ConstantParam extends LiteralParam implements Serializable

Serialized Fields

variablesMayBeUnifiedWithThisConstant

boolean variablesMayBeUnifiedWithThisConstant

Class ai.libs.jaicore.logic.fol.structure.DNFFormula extends java.util.HashSet<Monom> implements Serializable

Class ai.libs.jaicore.logic.fol.structure.HornFormula extends java.util.HashSet<HornRule> implements Serializable

Class ai.libs.jaicore.logic.fol.structure.InterpretedLiteral extends Literal implements Serializable

Class ai.libs.jaicore.logic.fol.structure.Literal extends java.lang.Object implements Serializable

Serialized Fields

property

java.lang.String property

parameters

java.util.List<E> parameters

Class ai.libs.jaicore.logic.fol.structure.LiteralParam extends java.lang.Object implements Serializable

Serialized Fields

name

java.lang.String name

type

Type type

Class ai.libs.jaicore.logic.fol.structure.LiteralSet extends java.util.HashSet<Literal> implements Serializable

serialVersionUID:

6767454041686262363L

Class ai.libs.jaicore.logic.fol.structure.Monom extends LiteralSet implements Serializable

serialVersionUID:

1279300062766067057L

Class ai.libs.jaicore.logic.fol.structure.Type extends java.lang.Object implements Serializable

Serialized Fields

name

java.lang.String name

superTypeList

java.util.List<E> superTypeList

subTypeList

java.util.List<E> subTypeList

subTypeOfBuffer

java.util.List<E> subTypeOfBuffer

supTypeOfBuffer

java.util.List<E> supTypeOfBuffer

Class ai.libs.jaicore.logic.fol.structure.VariableParam extends LiteralParam implements Serializable