Uses of Class
de.learnlib.algorithm.lsharp.Rule3
-
Packages that use Rule3 Package Description de.learnlib.algorithm.lsharp -
-
Uses of Rule3 in de.learnlib.algorithm.lsharp
Methods in de.learnlib.algorithm.lsharp that return Rule3 Modifier and Type Method Description Rule3
LSharpMealyBuilder. getRule3()
Returns the current value for the parameterrule3
.static Rule3
Rule3. valueOf(String name)
Returns the enum constant of this type with the specified name.static Rule3[]
Rule3. values()
Returns an array containing the constants of this enum type, in the order they are declared.Methods in de.learnlib.algorithm.lsharp with parameters of type Rule3 Modifier and Type Method Description void
LSharpMealyBuilder. setRule3(Rule3 rule3)
Sets the new value for the parameterrule3
.LSharpMealyBuilder<I,O>
LSharpMealyBuilder. withRule3(Rule3 rule3)
Sets the new value for the parameterrule3
and returnsthis
builder instance.Constructors in de.learnlib.algorithm.lsharp with parameters of type Rule3 Constructor Description LSharpMealy(net.automatalib.alphabet.Alphabet<I> alphabet, AdaptiveMembershipOracle<I,O> oracle, Rule2 rule2, Rule3 rule3, @Nullable net.automatalib.word.Word<I> sinkState, O sinkOutput, Random random)
LSOracle(AdaptiveMembershipOracle<I,O> sul, NormalObservationTree<I,O> obsTree, Rule2 rule2, Rule3 rule3, @Nullable net.automatalib.word.Word<I> sinkState, O sinkOutput, Random random)
-