• Home
• com.github.cascala
• galileo_2.12
• 0.1.2
• source code
• Rule.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

proof.Rule.scala Maven / Gradle / Ivy

package galileo.proof

import galileo.expr.Expr

case class Rule(description:String, result:Relation) {
	override def toString() = "Applying the rule \"" + description + "\" results in " + result
	def flipLeftAndRight = Rule( description, result.flipLeftAndRight )
}

case class Conversion( description:String, expr:Expr ) {}

// Goal is to find Truth

// Rule( 0 )
// If(equality(l, r) ) then equality ( l + x, r + x )
// If( equality( l, l )) then Truth
// If( equality( l, l + x )) and x != 0 then Falsitude
// Rule( )