A B C D E F G H I K L M N O P R S T U V W Z
All Classes All Packages
All Classes All Packages
All Classes All Packages
S
- sample() - Method in interface at.jku.ssw.fp.sect11_3.check4j.Gen
-
Returns a new random value.
- SATISFACTORY - at.jku.ssw.fp.sect04_2.fp.Grade
- SATISFACTORY - at.jku.ssw.fp.sect04_2.imp.Grade
- SATISFACTORY - at.jku.ssw.fp.sect07_5.results.Grade
- schedule(Runnable, long, TimeUnit) - Method in class at.jku.ssw.fp.sect10_5.SwingScheduler.SwingWorker
- scores - Variable in class at.jku.ssw.fp.sect04_2.fp.Results
-
The array of scores for the different assignments
- scores - Variable in class at.jku.ssw.fp.sect04_2.imp.Results
-
The array of scores for the different assignments
- scores - Variable in class at.jku.ssw.fp.sect07_5.results.Results
-
The array of scores for the different assignments
- search(SearchAlgosGeneric.Controller<N, C>, Function<N, List<N>>, Predicate<N>, N) - Static method in class at.jku.ssw.fp.sect04_3.SearchAlgosGeneric
-
Implements a generic search algorithm.
- SearchAlgos - Class in at.jku.ssw.fp.sect04_3
-
Class with search methods.
- SearchAlgos() - Constructor for class at.jku.ssw.fp.sect04_3.SearchAlgos
- SearchAlgosGeneric - Class in at.jku.ssw.fp.sect04_3
-
Class implementing the generic version of the search algorithm.
- SearchAlgosGeneric() - Constructor for class at.jku.ssw.fp.sect04_3.SearchAlgosGeneric
- SearchAlgosGeneric.Controller<N,C extends Collection<N>> - Interface in at.jku.ssw.fp.sect04_3
-
The interface for the controller of the search algorithm.
- Sepp - at.jku.ssw.fp.sect06_2.Student
- seq(Parser<S>) - Method in interface at.jku.ssw.fp.sect05_3.parser.Parser
-
Creates a new parser which applies this parser and the second parser and combined both results in a
Pair
. - seq(Parser<S>) - Method in interface at.jku.ssw.fp.sect06_3.Parser
-
Creates a new parser which applies this parser and the second parser and combined both results in a
Pair
. - set(boolean) - Method in class at.jku.ssw.fp.sect05_4.dsl.BVar
-
Sets the variable value.
- set(double) - Method in class at.jku.ssw.fp.sect05_4.dsl.DVar
-
Sets the variable value.
- set(int) - Method in class at.jku.ssw.fp.sect05_4.dsl.IVar
-
Sets the variable value.
- set(String, boolean) - Method in class at.jku.ssw.fp.sect04_4.visitor_fp.Bindings
-
Sets the value for the variable
- set(T) - Method in class at.jku.ssw.fp.sect05_4.dsl.Var
-
Sets the variable value.
- setAge(int) - Method in class at.jku.ssw.fp.person.Person
-
Sets the age of this person.
- setAge(int) - Method in class at.jku.ssw.fp.sect05_2.Person
- setGradingFunction(Function<Results, Grade>) - Method in class at.jku.ssw.fp.sect04_2.fp.ResultsList
-
Sets the function object to compute the grades.
- setMonoid() - Static method in class at.jku.ssw.fp.sect06_2.Monoids
-
Creates a monoid object for power sets for a generic value set
A
, the union operator and the empty set as identity value. - setpoint - Variable in class at.jku.ssw.fp.sect05_4.dsl.PropCtrl
-
Variable for the setpoint
- setResearch(String) - Method in class at.jku.ssw.fp.person.Professor
-
Sets the research of this professor.
- setScore(int, int) - Method in class at.jku.ssw.fp.sect04_2.fp.Results
-
Sets the score of an assignment.
- setScore(int, int) - Method in class at.jku.ssw.fp.sect04_2.imp.Results
-
Sets the score of an assignment.
- setScore(int, int) - Method in class at.jku.ssw.fp.sect07_5.results.Results
-
Sets the score of an assignment.
- setScore(String, int...) - Method in class at.jku.ssw.fp.sect04_2.imp.ResultsList
-
Sets the scores for a student.
- setScore(String, int, int) - Method in class at.jku.ssw.fp.sect04_2.fp.ResultsList
-
Sets the score for a student for an assignment.
- setScore(String, int, int) - Method in class at.jku.ssw.fp.sect04_2.imp.ResultsList
-
Sets the score for a student for an assignment.
- setScores(int...) - Method in class at.jku.ssw.fp.sect04_2.fp.Results
-
Sets the scores for the
Results.N
assignments. - setScores(int...) - Method in class at.jku.ssw.fp.sect04_2.imp.Results
-
Sets the scores for the
Results.N
assignments. - setScores(int...) - Method in class at.jku.ssw.fp.sect07_5.results.Results
-
Sets the scores for the
Results.N
assignments. - setScores(String, int...) - Method in class at.jku.ssw.fp.sect04_2.fp.ResultsList
-
Sets the scores for a student.
- setStudy(Study) - Method in class at.jku.ssw.fp.person.Student
-
Sets the study of this student.
- shift(Function<Double, Double>, double) - Static method in class at.jku.ssw.fp.sect02_3.Demo3_Closures
- shrink(A) - Method in interface at.jku.ssw.fp.sect11_3.check4j.Shrinker
-
Returns a stream of shrunk values of the given value.
- Shrinker<A> - Interface in at.jku.ssw.fp.sect11_3.check4j
-
Interface for shrinkers.
- Shrinkers - Class in at.jku.ssw.fp.sect11_3.check4j
-
Class providing shrinkers for various value types.
- Shrinkers() - Constructor for class at.jku.ssw.fp.sect11_3.check4j.Shrinkers
- shuffled() - Static method in class at.jku.ssw.fp.sect04_3.puzzle.Puzzle
-
Creates a random puzzle state.
- simplify(Expr) - Static method in class at.jku.ssw.fp.sect04_4.visitor_fp.Demo_ExprApply
- simulate(double...) - Static method in class at.jku.ssw.fp.sect05_4.dsl.Demo1_PropCtrl
- single(A) - Static method in class at.jku.ssw.fp.sect11_3.check4j.Gens
-
Creates a generator which is capable to create a single value.
- size - Variable in class at.jku.ssw.fp.coll.FList.Cons
-
The number of elements
- size - Variable in class at.jku.ssw.fp.coll.FSet.Cons
-
The number of elements
- size() - Method in class at.jku.ssw.fp.coll.FList.Cons
-
Returns the number of elements of this functional list.
- size() - Method in class at.jku.ssw.fp.coll.FList.Nil
-
Returns
0
as size of the empty list. - size() - Method in class at.jku.ssw.fp.coll.FList
-
Returns the size of this list.
- size() - Method in class at.jku.ssw.fp.coll.FSet.Cons
-
Returns the number of elements of this functional set.
- size() - Method in class at.jku.ssw.fp.coll.FSet.Empty
-
Returns
0
as size of the empty set. - size() - Method in class at.jku.ssw.fp.coll.FSet
-
Returns the size of this set.
- smallDiff(List<Double>, double) - Method in class at.jku.ssw.fp.sect07_4.ConstantCollector
- smallDiff(List<Double>, List<Double>) - Method in class at.jku.ssw.fp.sect07_4.ConstantCollector
- snapToGrid(Point) - Method in class at.jku.ssw.fp.sect10_1.Demo4_ClickObservable.ObservablePanel
- snd - Variable in class at.jku.ssw.fp.util.Pair
-
The second value.
- SOLUTION - Static variable in class at.jku.ssw.fp.sect04_3.puzzle.Puzzle
-
Solution state
- solveNQueens(boolean[][], int) - Static method in class at.jku.ssw.fp.sect03_3.Demo2_NQueens
-
Solves N-Queens problem with mutable array.
- solveNQueens(FList<Pos>, int) - Static method in class at.jku.ssw.fp.sect03_3.Demo2_NQueens
-
Solves N-Queens problem using immutable lists
- speed - Variable in class at.jku.ssw.fp.sect10_3.WeatherData
-
The wind speed
- spliterator() - Method in class at.jku.ssw.fp.sect08_2.TracedList
-
Returns a
TracedSpliterator
as spliterator for this list. - splits - Variable in class at.jku.ssw.fp.sect08_2.TracedSpliterator
-
Count for splits
- spltr - Variable in class at.jku.ssw.fp.sect08_2.ReduceTask
-
The spliterator for this task
- sqrt(double) - Static method in class at.jku.ssw.fp.sect04_6.Demo2_LazySqrt
- sqrtApprox(double) - Static method in class at.jku.ssw.fp.sect04_6.Demo2_LazySqrt
- sqrtImperative(double) - Static method in class at.jku.ssw.fp.sect04_6.Demo2_LazySqrt
- sqrtIterable(double) - Static method in class at.jku.ssw.fp.sect04_6.Demo2_LazySqrt
- sqrtIterator(double) - Static method in class at.jku.ssw.fp.sect04_6.Demo2_LazySqrt
- State() - Constructor for class at.jku.ssw.fp.sect05_4.dsl.StateModel.State
- StateModel<S extends Enum<S>> - Class in at.jku.ssw.fp.sect05_4.dsl
-
Base class for implementing state transition models.
- StateModel(S[], S) - Constructor for class at.jku.ssw.fp.sect05_4.dsl.StateModel
-
Constructor initializing the set of states and the initial state.
- StateModel.State - Class in at.jku.ssw.fp.sect05_4.dsl
-
Inner class for state objects.
- StateModel.State.Transition - Class in at.jku.ssw.fp.sect05_4.dsl
-
Inner class representing transitions.
- states - Variable in class at.jku.ssw.fp.sect04_3.puzzle.Puzzle
- states - Variable in class at.jku.ssw.fp.sect05_4.dsl.StateModel
-
Map from state value to state objects
- States - Enum in at.jku.ssw.fp.sect05_4.dsl
-
Enumeration for the states of the level controller
- States() - Constructor for enum at.jku.ssw.fp.sect05_4.dsl.States
- Step<I,O> - Interface in at.jku.ssw.fp.sect05_2.workflow
-
Functional interface for steps in a workflow.
- STIR - at.jku.ssw.fp.sect05_2.workflow.Treatment
- stop - Static variable in class at.jku.ssw.fp.sect05_4.dsl.Demo2_LevelControl
- stop - Variable in class at.jku.ssw.fp.sect05_4.dsl.LevelControl
-
Variable for the Boolean input signal to stop filling
- STOPPED - at.jku.ssw.fp.sect05_4.dsl.States
- stream() - Method in class at.jku.ssw.fp.coll.FList
-
Creates a sequential stream from this functional list.
- stream() - Method in interface at.jku.ssw.fp.sect11_3.check4j.Gen
-
Returns a stream of random values.
- StreamUtil - Class in at.jku.ssw.fp.sect07_7
- StreamUtil() - Constructor for class at.jku.ssw.fp.sect07_7.StreamUtil
- stringMonoid - Static variable in class at.jku.ssw.fp.sect06_2.Monoids
-
The monoid for string values, the concatenation operator and
""
as identity value. - Student - Class in at.jku.ssw.fp.person
-
Class for special person student.
- Student - Enum in at.jku.ssw.fp.sect06_2
-
Enumeration class for students.
- Student() - Constructor for enum at.jku.ssw.fp.sect06_2.Student
- Student(String) - Constructor for class at.jku.ssw.fp.person.Student
-
Constructor initializing name.
- Student(String, int) - Constructor for class at.jku.ssw.fp.person.Student
-
Constructor initializing name and age.
- Student(String, int, Study) - Constructor for class at.jku.ssw.fp.person.Student
-
Constructor initializing name, age and study.
- study - Variable in class at.jku.ssw.fp.person.Student
-
The study of the student
- Study - Enum in at.jku.ssw.fp.person
-
Enumeration of possible studies.
- Study() - Constructor for enum at.jku.ssw.fp.person.Study
- Stuff - Class in at.jku.ssw.fp.sect05_2.workflow
-
Base class for ingredients and products.
- Stuff() - Constructor for class at.jku.ssw.fp.sect05_2.workflow.Stuff
-
Constructor initializing the list of treatments to be empty.
- Stuff(Treatment[]) - Constructor for class at.jku.ssw.fp.sect05_2.workflow.Stuff
-
Constructor initializing the treatments.
- sub - Variable in class at.jku.ssw.fp.expr.Expr.Not
-
The subexpression of this not-expression.
- sub - Variable in class at.jku.ssw.fp.sect04_4.visitor_fp.Expr.Not
-
The subexpression of this not-expression.
- sub - Variable in class at.jku.ssw.fp.sect04_4.visitor_nofp.Expr.Not
-
The subexpression of this not-expression.
- success(T, FList<String>) - Static method in class at.jku.ssw.fp.sect05_3.parser.Result
-
Creates a successful result consisting of a parse result and the rest of the input.
- success(T, FList<String>) - Static method in class at.jku.ssw.fp.sect06_3.Result
-
Creates a successful result consisting of a parse result and the rest of the input.
- successes - Variable in class at.jku.ssw.fp.sect11_3.check4j.Result
-
List of successful test values
- successful() - Method in class at.jku.ssw.fp.sect05_3.parser.Result
-
Returns if this object represents a successful result.
- successful() - Method in class at.jku.ssw.fp.sect06_3.Result
-
Returns if this object represents a successful result.
- successful() - Method in class at.jku.ssw.fp.sect11_3.check4j.Result
-
Tests if the results are all successful.
- succs - Variable in class at.jku.ssw.fp.sect04_3.Node
-
The list of outgoing edges
- SUFFICIENT - at.jku.ssw.fp.sect04_2.fp.Grade
- SUFFICIENT - at.jku.ssw.fp.sect04_2.imp.Grade
- SUFFICIENT - at.jku.ssw.fp.sect07_5.results.Grade
- sum(ToIntFunction<? super E>) - Method in interface at.jku.ssw.fp.sect06_2.Reducible
-
Builds the sum of the mapped integer values.
- supplier - Variable in class at.jku.ssw.fp.sect04_6.Lazy.LazyIterator
-
The supplier function; supplies an optional value with an empty optional if no more values exist.
- supplier() - Method in class at.jku.ssw.fp.sect07_4.ConstantCollector
-
A function that creates and returns a new queue of lists as mutable result container.
- SW2 - at.jku.ssw.fp.sect06_2.Course
- SwingScheduler - Class in at.jku.ssw.fp.sect10_5
-
Executes work on the Swing UI thread.
- SwingScheduler() - Constructor for class at.jku.ssw.fp.sect10_5.SwingScheduler
- SwingScheduler.SwingWorker - Class in at.jku.ssw.fp.sect10_5
- SwingWorker() - Constructor for class at.jku.ssw.fp.sect10_5.SwingScheduler.SwingWorker
- system - Static variable in class at.jku.ssw.fp.sect05_4.dsl.Demo2_LevelControl
- SystemUnderCtrl - Class in at.jku.ssw.fp.sect05_4.dsl
-
Class for building a test model for the level control system.
- SystemUnderCtrl(double, double, DVar, DVar) - Constructor for class at.jku.ssw.fp.sect05_4.dsl.SystemUnderCtrl
-
Constructor setting up the tank
All Classes All Packages