public ConjunctionEliminationRule(ProofLineRef line, int variant)
{
Line = line;
Variant = variant;
}
public CopyRule(ProofLineRef line)
{
Line = line;
}
public BotEliminationRule(ProofLineRef bot)
{
Bot = bot;
}
public ConjunctionIntroductionRule(ProofLineRef left, ProofLineRef right)
{
Left = left;
Right = right;
}
public DisjunctionEliminationRule(ProofLineRef disjunction, ProofBox case1, ProofBox case2)
{
Disjunction = disjunction;
Case1 = case1;
Case2 = case2;
}
public NegEliminationRule(ProofLineRef line, ProofLineRef negLine)
{
Line = line;
NegLine = negLine;
}
public NegNegIntroductionRule(ProofLineRef line)
{
Line = line;
}
public ModusTollensRule(ProofLineRef implication, ProofLineRef negConclusion)
{
Implication = implication;
NegConclusion = negConclusion;
}
public ProofLine(ProofLineRef reference, string formula, Rule rule)
{
Reference = reference;
Formula = formula;
Rule = rule;
}
public NegNegEliminationRule(ProofLineRef line)
{
Line = line;
}
public DisjunctionIntroductionRule(ProofLineRef line, int variant)
{
Line = line;
Variant = variant;
}
