public class RandomRuleGenerator
extends java.lang.Object
Constructor and Description |
---|
RandomRuleGenerator()
Creates a new RandomRuleGenerator.
|
RandomRuleGenerator(RandomRuleGenerator orig)
Creates a RandomRuleGenerator with the same parameters as an existing
one.
|
Modifier and Type | Method and Description |
---|---|
boolean |
getDiscrete()
Returns whether this RandomRuleGenerator generates only rules with
discrete interfaces.
|
de.uni_due.inf.ti.random.Distribution<java.lang.Integer> |
getInterfaceSizeDistribution()
Returns the distribution for the size of the interfaces.
|
RandomGraphGenerator |
getLeftGenerator()
Returns the RandomGraphGenerator used to generate the left-hand sides
of the random rules.
|
java.util.Random |
getRandom()
Returns the Java random number generator used by this
RandomRuleGenerator.
|
RandomGraphGenerator |
getRightGenerator()
Returns the RandomGraphGenerator used to generate the right-hand sides
of the random rules.
|
java.util.Set<Label> |
getSignature()
Returns the signature of rules generated by this RandomRuleGenerator.
|
Rule |
nextRule()
Generates a random rule.
|
void |
setDiscrete(boolean b)
Sets whether this RandomRuleGenerator generates only rules with
discrete interfaces.
|
void |
setInterfaceSizeDistribution(de.uni_due.inf.ti.random.Distribution<java.lang.Integer> d)
Sets the distribution for the size of the interfaces.
|
void |
setRandom(java.util.Random rng)
Sets the Java random number generator used by this
RandomRuleGenerator.
|
void |
setSignature(java.util.Collection<Label> signature)
Sets the signature of the rules generated by this
RandomRuleGenerator.
|
public RandomRuleGenerator()
public RandomRuleGenerator(RandomRuleGenerator orig)
public java.util.Random getRandom()
public void setRandom(java.util.Random rng)
public RandomGraphGenerator getLeftGenerator()
public RandomGraphGenerator getRightGenerator()
public de.uni_due.inf.ti.random.Distribution<java.lang.Integer> getInterfaceSizeDistribution()
public void setInterfaceSizeDistribution(de.uni_due.inf.ti.random.Distribution<java.lang.Integer> d)
d
- the new distribution for the interface sizesjava.lang.NullPointerException
- if d
is null
public void setSignature(java.util.Collection<Label> signature)
signature
- new signature of this RandomRuleGeneratorjava.lang.NullPointerException
- if signature
is null
public java.util.Set<Label> getSignature()
public boolean getDiscrete()
public void setDiscrete(boolean b)
public Rule nextRule()