Package org.sosy_lab.java_smt

Class ResolutionProofDAG.AxiomProofNode

java.lang.Object

org.sosy_lab.java_smt.basicimpl.AbstractProofDAG.AbstractProofNode

org.sosy_lab.java_smt.ResolutionProofDAG.AxiomProofNode

All Implemented Interfaces:

ProofNode

Enclosing class:

ResolutionProofDAG

public static class ResolutionProofDAG.AxiomProofNode
extends AbstractProofDAG.AbstractProofNode
implements ProofNode

Field Summary

Fields inherited from class org.sosy_lab.java_smt.basicimpl.AbstractProofDAG.AbstractProofNode

formula

Constructor Summary

Constructors

Constructor	Description
AxiomProofNode(ResProofRule.ResAxiom rule, Formula formula)

Method Summary

Methods inherited from class org.sosy_lab.java_smt.basicimpl.AbstractProofDAG.AbstractProofNode

addChild, getChildren, getFormula, getId, getRule, isLeaf, setFormula

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.sosy_lab.java_smt.api.proofs.ProofNode

addChild, getChildren, getFormula, getId, getRule, isLeaf

Constructor Detail

AxiomProofNode

public AxiomProofNode(ResProofRule.ResAxiom rule,
                      Formula formula)