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

parameters

java.util.List<LiteralParam> parameters

property

java.lang.String property

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

subTypeList

java.util.List<Type> subTypeList

subTypeOfBuffer

java.util.List<Type> subTypeOfBuffer

superTypeList

java.util.List<Type> superTypeList

supTypeOfBuffer

java.util.List<Type> supTypeOfBuffer

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