Uses of Class
eu.iv4xr.framework.mainConcepts.TestGoal

Packages that use TestGoal

Package	Description
eu.iv4xr.framework	iv4xr.framework is built on the nl.uu.cs.aplib.
eu.iv4xr.framework.mainConcepts

Uses of TestGoal in eu.iv4xr.framework

Methods in eu.iv4xr.framework that return TestGoal

Modifier and Type	Method	Description
static TestGoal	Iv4xrEDSL.testgoal(String name)	Create a blank instance of TestGoal with the given name.
static TestGoal	Iv4xrEDSL.testgoal(String name, TestAgent ta)	Create a blank instance of TestGoal with the given name, and linking it to the given test-agent.

Uses of TestGoal in eu.iv4xr.framework.mainConcepts

Methods in eu.iv4xr.framework.mainConcepts that return TestGoal

Modifier and Type	Method	Description
<Proposal> TestGoal	TestGoal.ftoSolve(Function<Proposal,Double> predicateToSolve)	Set the given function as a goal function.
<Proposal> TestGoal	TestGoal.invariant(TestAgent testagent, Function<Proposal,ObservationEvent.VerdictEvent> oracle)	Just another name for oracle(TestAgent,Function).
<Proposal> TestGoal	TestGoal.invariant(Function<Proposal,ObservationEvent.VerdictEvent> oracle)	Just another name for oracle(TestAgent,Function).
<Proposal> TestGoal	TestGoal.oracle(TestAgent testagent, Function<Proposal,ObservationEvent.VerdictEvent> oracle)	Specify the test-oracle associated with for this TestGoal.
<Proposal> TestGoal	TestGoal.oracle(Function<Proposal,ObservationEvent.VerdictEvent> oracle)	Specify the test-oracle associated with for this TestGoal.
TestGoal	TestGoal.oracle_(TestAgent testagent, Function<Object,ObservationEvent.VerdictEvent> oracle)	Specify the test-oracle associated with for this TestGoal.
<Proposal> TestGoal	TestGoal.toSolve(Predicate<Proposal> predicateToSolve)	Set the predicate which would serve as the predicate to solve.
TestGoal	TestGoal.withEpsilon(Double e)	Set the value of eplison.
TestGoal	TestGoal.withTactic(Tactic S)	Set the strategy to that a solving agent can use to solve this goal.