public interface ConstructionPolicyOperations extends PolicyOperations
Modifier and Type | Method and Description |
---|---|
void |
make_domain_manager(InterfaceDef object_type,
boolean constr_policy) |
copy, destroy, policy_type
void make_domain_manager(InterfaceDef object_type, boolean constr_policy)