ResProofRule (JavaSMT Solver Library)

java.lang.Object
- org.sosy_lab.java_smt.ResProofRule

```
public final class ResProofRule
extends Object
```
A proof rule in the proof DAG of the proof format RESOLUTE used by SMTInterpol. See: ...
The conversion from other formats to RESOLUTE appears to be simple and as such, it is a good candidate for a common proof format.

Author:

Gabriel Carpio

- Nested Class Summary
  
  Nested Classes
  Modifier and Type Class Description
  
  static class ResProofRule.ResAxiom
  Any operation that proves a term.
- Method Summary
  
  All Methods Static Methods Concrete Methods
  Modifier and Type Method Description
  
  static ResProofRule.ResAxiom getFromName(String name)
  Retrieves a ProofRule by its name.
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Method Detail
  - getFromName
```
public static ResProofRule.ResAxiom getFromName(String name)
```
    Retrieves a ProofRule by its name.
    
    Parameters:
    
    name - The name of the proof rule.
    
    Returns:
    
    The matching ProofRule.
    
    Throws:
    
    NullPointerException - if the name is null.
    
    IllegalArgumentException - if the name does not match any rule.