public class DomainEnvironmentWrapper extends java.lang.Object implements DomainGenerator
Modifier and Type | Field and Description |
---|---|
protected Environment |
env |
protected Domain |
srcDomain |
Constructor and Description |
---|
DomainEnvironmentWrapper(Domain srcDomain,
Environment env)
Initializes this class with the source domain used by an environment object
|
Modifier and Type | Method and Description |
---|---|
protected Attribute |
attCopy(Domain d,
Attribute src) |
Domain |
generateDomain()
Returns a newly instanced Domain object
|
protected ObjectClass |
ocCopy(Domain d,
ObjectClass src) |
protected PropositionalFunction |
pfCopy(Domain d,
PropositionalFunction src) |
protected Domain srcDomain
protected Environment env
public DomainEnvironmentWrapper(Domain srcDomain, Environment env)
srcDomain
- the source domain used by an environmentenv
- the environment that this domain generator will wrappublic Domain generateDomain()
DomainGenerator
generateDomain
in interface DomainGenerator
protected ObjectClass ocCopy(Domain d, ObjectClass src)
protected PropositionalFunction pfCopy(Domain d, PropositionalFunction src)