Uses of Class
mepk.kernel.DVRSet

Packages that use DVRSet

Package	Description
mepk.kernel	This package implements the trusted kernel of MEPK.
mepk.kernel.internal	This package contains internal implementations for the concepts in the mepk.kernel package.

Uses of DVRSet in mepk.kernel

Fields in mepk.kernel declared as DVRSet

Modifier and Type	Field	Description
static final DVRSet	DVRSet.EMPTY	The empty DVRSet.

Methods in mepk.kernel that return DVRSet

Modifier and Type	Method	Description
DVRSet	DVRSet.andDistinct(String... varNames)	Create a new DVR set by adding a DVR for each pair of the given variable names.
DVRSet	DVRSet.andDistinct(DVRSet addedDVRs)	Create a new DVR set by adding the given DVRs.
static DVRSet	DVRSet.Distinct(Iterable<DVRSet> dvrSets)	Create the union of multiple DVRSets.
static DVRSet	DVRSet.Distinct(String... varNames)	Create a DVRSet.
static DVRSet	DVRSet.Distinct(List<String> varNames)	Create a DVRSet.
DVRSet	Statement.getDVRs()	Returns the distinct-variable restrictions (DVRs) of this statement.
DVRSet	DVRSet.substitute(String replacedVarName, Iterable<String> replacementVarNames)	Replace the given variable name by the given set of variable names.

Methods in mepk.kernel with parameters of type DVRSet

Modifier and Type	Method	Description
DVRSet	DVRSet.andDistinct(DVRSet addedDVRs)	Create a new DVR set by adding the given DVRs.
static Statement	Statement.Stat(DVRSet dvrs, List<Expression> hypotheses, Expression conclusion)	Create a new instance.
Statement	Statement.weaken(DVRSet addedDVRs, Expression... addedHypotheses)	Create a new statement, by adding hypotheses and DVRs to this statement.
static ProofStep	ProofStep.Weaken(Statement statement, DVRSet addedDVRs, Expression... addedHypotheses)	Create a weakening proof step, which takes a statement and adds hypotheses and DVRs.

Method parameters in mepk.kernel with type arguments of type DVRSet

Modifier and Type	Method	Description
static DVRSet	DVRSet.Distinct(Iterable<DVRSet> dvrSets)	Create the union of multiple DVRSets.

Uses of DVRSet in mepk.kernel.internal

Constructors in mepk.kernel.internal with parameters of type DVRSet

Modifier	Constructor	Description
	Weaken(Statement statement, DVRSet addedDVRs, Expression... addedHypotheses)	Create an instance.