Class RelativeKBipolarStateProcessor

  • All Implemented Interfaces:
    StateProcessor

    public abstract class RelativeKBipolarStateProcessor
    extends java.lang.Object
    implements StateProcessor
    Decides if an ADF becomes k-bipolar relative to some truth assignments.
    Author:
    Mathias Hofer