public final class AuxiliaryContractBuilders
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
AuxiliaryContractBuilders.ConditionsAndClausesBuilder
This class is used to build various sub-formulas used in the block/loop contract rules.s
|
static class |
AuxiliaryContractBuilders.GoalsConfigurator
This class contains methods to add the premisses for the block contract rule to the goal.
|
static class |
AuxiliaryContractBuilders.UpdatesBuilder
This class is used to build the various updates that are needed for block/loop contract
rules.
|
static class |
AuxiliaryContractBuilders.ValidityProgramConstructor
This class is used to construct
block' from block (see Wacker 2012, 3.3). |
static class |
AuxiliaryContractBuilders.VariablesCreatorAndRegistrar
This class contains methods to create new variables from the contract's placeholder variables
(see
AuxiliaryContract.getPlaceholderVariables() ), and register them. |
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ANON_IN_PREFIX
Prefix for all anonymization constants in
AuxiliaryContractBuilders.UpdatesBuilder.buildAnonInUpdate(Map) . |
static java.lang.String |
ANON_OUT_PREFIX
Prefix for all anonymization constants in
AuxiliaryContractBuilders.UpdatesBuilder.buildAnonOutUpdate(Map, Map) . |
Modifier | Constructor and Description |
---|---|
private |
AuxiliaryContractBuilders() |
public static final java.lang.String ANON_IN_PREFIX
AuxiliaryContractBuilders.UpdatesBuilder.buildAnonInUpdate(Map)
.public static final java.lang.String ANON_OUT_PREFIX
AuxiliaryContractBuilders.UpdatesBuilder.buildAnonOutUpdate(Map, Map)
.