Uses of Interface
jtp.disp.RelationBasedBCReasoner

Packages that use RelationBasedBCReasoner

jtp.disp
jtp.frame.fc
jtp.func
jtp.time.func

Uses of RelationBasedBCReasoner in jtp.disp

Classes in jtp.disp that implement RelationBasedBCReasoner

class

AbstractRelationBasedBCReasoner

Uses of RelationBasedBCReasoner in jtp.frame.fc

Classes in jtp.frame.fc that implement RelationBasedBCReasoner

class

EquivalenceDemonstrator

Uses of RelationBasedBCReasoner in jtp.func

Classes in jtp.func that implement RelationBasedBCReasoner

class	Equals Equals.java Created: Thu Dec 30 05:53:45 1999
class	EvaluableFunctionReasoner
class	ForIn ForIn.java Created: Thu Dec 30 06:03:43 1999
class	GetSetof
class	Greater Greater.java Created: Thu Dec 30 04:49:31 1999
class	InEqual Equals.java Created: Thu Dec 30 05:53:45 1999
class	Less Less.java Created: Thu Dec 30 05:24:51 1999
(package private) class	jtp.func.NumberComparator NumberComparator.java Created: Thu Dec 30 04:53:50 1999
class	Unprovable Unprovable.java Created: Thu Dec 30 04:00:16 1999

Uses of RelationBasedBCReasoner in jtp.time.func

Classes in jtp.time.func that implement RelationBasedBCReasoner

class	FirstTimePoint Functional reasoner that takes a CalendarTimePoint tp and a unit (e.g., 'week', 'day'), and returns the first time point in the unit that tp contains.
class	MinusTimePoint Functional reasoner that takes two CalendarTimePoints and returns the number of milliseconds separating the points.
class	PlusTimePoint Functional reasoner that takes a CalendarTimePoint and an integer representing a quantity of milliseconds and returns the timepoint that results in increasing the former by the latter.
class	TimePointFunctionReasoner Abstract class of reasoners that deal with evaluable functions whose arguments are TimePoints.
class	TimePointToInteger Functional reasoner that converts a CalendarTimePoint to an integer value.