Package reasoner.impl

Class ReasonerEquivalentToAll

java.lang.Object
reasoner.ReasonerManager
reasoner.impl.ReasonerEquivalentToAll

public class ReasonerEquivalentToAll extends ReasonerManager
  • Constructor Details

    • ReasonerEquivalentToAll

      public ReasonerEquivalentToAll(Database connection, org.apache.spark.SparkConf conf, redis.clients.jedis.JedisPool pool)
    • ReasonerEquivalentToAll

      public ReasonerEquivalentToAll(Database connection, org.apache.spark.api.java.JavaSparkContext sc, redis.clients.jedis.JedisPool pool)
  • Method Details