ai.libs.jaicore.logic.fol.theories.set

Class SetTheoryUtil

java.lang.Object

ai.libs.jaicore.logic.fol.theories.set.SetTheoryUtil

public abstract class SetTheoryUtil
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
SetTheoryUtil()

Method Summary

Modifier and Type	Method and Description
static java.util.List<java.lang.String>	getObjectsInSet(Monom state, java.lang.String setDescriptor)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SetTheoryUtil

public SetTheoryUtil()

Method Detail

getObjectsInSet

public static java.util.List<java.lang.String> getObjectsInSet(Monom state,
                                                               java.lang.String setDescriptor)