org.kahina.logic.sat.muc.task

Class ExpansionAgent

java.lang.Object

org.kahina.logic.sat.muc.task.ExpansionAgent

public class ExpansionAgent
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ExpansionAgent()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

ExpansionAgent

public ExpansionAgent()