Tactic

Attributes

Companion

object

Source

core.scala

Graph

Reset zoomHide graphShow graph

Supertypes

class Object

trait Matchable

class Any

Known subtypes

class FocusTactic

class RepeatTactic[T]

trait BinaryTactic[T]

class AndRightTactic

class CutTactic

class ImpLeftTactic

class OrLeftTactic

trait Tactical[T]

trait Tactical1[T]

class AnalyticInductionTactic

class AndLeftTactic

object BottomAxiomTactic

class ChainTactic

class EqualityTactic

class ExistsRightTactic

class ForallLeftTactic

class ForwardChain

class ImpRightTactic

class InductionTactic

class InsertTactic

object LogicalAxiomTactic

class NegLeftTactic

class NegRightTactic

class OrRightTactic

class ProofLinkTactic

object PropTactic

object QuasiPropTactic

object ReflexivityAxiomTactic

class RenameTactic

class ReplaceTactic

class ResolutionProverTactic

class RewriteTactic

class StrongQuantTactic

class ExistsLeftTactic

class ForallRightTactic

class SubstTactic

class SuperpositionInductionTactic

object TopAxiomTactic

class UnfoldTactic

class WeakeningLeftTactic

class WeakeningRightTactic

object currentGoal

class SimpTactic

class TreeGrammarInductionTactic

Show all

Self type

Tactic[T]