Package org.tweetyproject.logics.cl.syntax
package org.tweetyproject.logics.cl.syntax
-
Class SummaryClassDescriptionThis class models a belief set on conditional logic, i.e.This class represents a basic conditional (B|A) with formulas A,B.