Package org.tweetyproject.logics.qbf.semantics


package org.tweetyproject.logics.qbf.semantics
  • Classes
    Class
    Description
    This class represents a possible world of quantified boolean logic, i.e.