gapt-examples
API
Generated with
gapt-examples/gapt.examples/gapt.examples.predicateEliminationProblems

gapt.examples.predicateEliminationProblems

package gapt.examples.predicateEliminationProblems

Members list

Type members

Classlikes

object graphReachability

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object modalCorrespondence

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type

Value members

Concrete fields

val bachmairGanzingerExample: ClauseSetPredicateEliminationProblem
val badExample: ClauseSetPredicateEliminationProblem
val booleanUnification: PredicateEliminationProblem
val eberhardHetzlWellerExample_4: ClauseSetPredicateEliminationProblem
val exampleRequiringSubsumption: ClauseSetPredicateEliminationProblem
val exampleRequiringTautologyDeletion: ClauseSetPredicateEliminationProblem
val exampleThatCanBeSolvedByPolarityRuleImmediately: ClauseSetPredicateEliminationProblem
val exampleThatUsesResolutionOnLiteralsThatAreNotQuantifiedVariables: ClauseSetPredicateEliminationProblem
val exampleWithQuantifiedVariableNotOccurring: ClauseSetPredicateEliminationProblem
val exampleWithSymmetryRequiringSubsumption: ClauseSetPredicateEliminationProblem
val exampleWithThreeClauses: ClauseSetPredicateEliminationProblem
val exampleWithTwoClauses: ClauseSetPredicateEliminationProblem
val exampleWithTwoVariables: ClauseSetPredicateEliminationProblem
val exampleWithoutQuantifiedVariables: ClauseSetPredicateEliminationProblem
val gabbayOhlbachIntroductionExample_1: ClauseSetPredicateEliminationProblem
val gabbayOhlbachIntroductionExample_2: ClauseSetPredicateEliminationProblem
val gabbayOhlbachIntroductionExample_3: ClauseSetPredicateEliminationProblem
val gabbayOhlbachSection3Example: ClauseSetPredicateEliminationProblem
val gabbayOhlbachSymmetryExample: ClauseSetPredicateEliminationProblem
val kloibhoferHetzlExample_42: ClauseSetPredicateEliminationProblem
val negationOfLeibnizEquality: PredicateEliminationProblem
val onlyOneSidedClauses: ClauseSetPredicateEliminationProblem
val single2PartDisjunction: ClauseSetPredicateEliminationProblem
val single3PartDisjunction: ClauseSetPredicateEliminationProblem
val soqeBookExample5_4: ClauseSetPredicateEliminationProblem
val soqeBookExample5_7: ClauseSetPredicateEliminationProblem
val soqeBookExample6_23: ClauseSetPredicateEliminationProblem
val soqeBookExample6_2_16: ClauseSetPredicateEliminationProblem
val soqeBookExample6_2_17: ClauseSetPredicateEliminationProblem
val soqeBookExample6_3: ClauseSetPredicateEliminationProblem
val soqeBookExample6_4: ClauseSetPredicateEliminationProblem
val soqeBookExample6_5: ClauseSetPredicateEliminationProblem
val soqeBookExample6_6: ClauseSetPredicateEliminationProblem
val subsumptionByXLiteral: ClauseSetPredicateEliminationProblem
val twoStepRedundancy: ClauseSetPredicateEliminationProblem
val unsatisfiableExampleThatRequiresFactoring: ClauseSetPredicateEliminationProblem
val wernhardExample06Conjunctive: ClauseSetPredicateEliminationProblem
val wernhardExample06Implicative: ClauseSetPredicateEliminationProblem
val wernhardExample06WithoutFirstOrderAssumption: ClauseSetPredicateEliminationProblem
val witnessBlowup: ClauseSetPredicateEliminationProblem
Generated with