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

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
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