public static class RuleCommand.Parameters
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
Term |
formula |
java.util.Map<java.lang.String,Term> |
instantiations |
java.lang.String |
matches
Represents a part of a formula (may use Java regular expressions as
long as supported by proof script parser).
|
int |
occ |
Term |
on |
java.lang.String |
rulename |
Constructor and Description |
---|
Parameters() |
public java.lang.String rulename
public Term on
public Term formula
public int occ
public java.lang.String matches
public java.util.Map<java.lang.String,Term> instantiations