MCPcopy Create free account

hub / github.com/andrew-bedford/coqatoo / functions

Functions59 in github.com/andrew-bedford/coqatoo

⨍ Functions 59◇ Types & classes 24
↓ 25 callersMethodtoString
()
source/coqatoo/coq/Goal.java:12
↓ 25 callersMethodtoString
()
source/coqatoo/coq/Input.java:12
↓ 12 callersMethodgetGoal
()
source/coqatoo/coq/Output.java:25
↓ 12 callersMethodgetInput
()
source/coqatoo/coq/InputOutput.java:12
↓ 12 callersMethodgetType
()
source/coqatoo/coq/Input.java:13
↓ 11 callersMethodgetOutput
()
source/coqatoo/coq/InputOutput.java:13
↓ 9 callersMethodequals
(Object other)
source/coqatoo/coq/Assumption.java:24
↓ 6 callersMethodapply
(ResourceBundle bundle, Input input, Output output, Set<coqatoo.coq.Assumption> before, Set<Assumption> after,
source/coqatoo/rewriters/rules/Apply.java:12
↓ 4 callersMethodgetAssumptions
()
source/coqatoo/coq/Output.java:23
↓ 4 callersMethodgetName
()
source/coqatoo/coq/Assumption.java:13
↓ 4 callersMethodgetNumberOfRemainingSubgoals
()
source/coqatoo/coq/Output.java:29
↓ 3 callersMethodexecute
(String script)
source/coqatoo/coq/Coqtop.java:35
↓ 3 callersMethodrewrite
(String proofScript)
source/coqatoo/rewriters/TextRewriter.java:149
↓ 2 callersMethodconvertFileToString
(File file)
source/helpers/FileHelper.java:12
↓ 2 callersMethodrewrite
(String proofScript)
source/coqatoo/rewriters/Rewriter.java:4
↓ 2 callersMethodstop
()
source/coqatoo/coq/Coqtop.java:70
↓ 2 callersMethodtypeContainsSpaces
()
source/coqatoo/coq/Assumption.java:16
↓ 2 callersMethodunion
(Set<T> setA, Set<T> setB)
source/helpers/SetHelper.java:7
↓ 2 callersMethodupdatedIndentationLevel
(Input input)
source/coqatoo/rewriters/TextRewriter.java:134
↓ 1 callersMethodapply
(ResourceBundle bundle, Input input, Output output, Set<coqatoo.coq.Assumption> before, Set<Assumption> after)
source/coqatoo/rewriters/rules/Inversion.java:11
↓ 1 callersMethodapply
(ResourceBundle bundle, Input input)
source/coqatoo/rewriters/rules/Destruct.java:8
↓ 1 callersMethoddetermineAssumptions
(String value)
source/coqatoo/coq/Output.java:51
↓ 1 callersMethoddetermineGoal
(String value)
source/coqatoo/coq/Output.java:38
↓ 1 callersMethoddetermineType
(String value)
source/coqatoo/coq/Input.java:15
↓ 1 callersMethoddifference
(Set<T> setA, Set<T> setB)
source/helpers/SetHelper.java:23
↓ 1 callersMethodextractInformation
(String proofScript)
source/coqatoo/rewriters/TextRewriter.java:292
↓ 1 callersMethodfileExists
(String filePath)
source/helpers/FileHelper.java:7
↓ 1 callersMethodformatScript
(String proofScript)
source/coqatoo/rewriters/TextRewriter.java:159
↓ 1 callersMethodgenerateScriptWithUnfoldedAutos
(List<InputOutput> inputsOutputs)
source/coqatoo/rewriters/TextRewriter.java:18
↓ 1 callersMethodgetTextVersion
()
source/coqatoo/rewriters/TextRewriter.java:51
↓ 1 callersMethodgetValue
()
source/coqatoo/coq/Output.java:21
↓ 1 callersMethodintersection
(Set<T> setA, Set<T> setB)
source/helpers/SetHelper.java:13
↓ 1 callersMethodoutputProofTreeAsDot
()
source/coqatoo/rewriters/TextRewriter.java:238
↓ 1 callersMethodparseArguments
(String[] args)
source/coqatoo/Main.java:119
↓ 1 callersMethodtoString
(Set<T> set)
source/helpers/SetHelper.java:46
↓ 1 callersMethodverifyFileExists
(String filePath)
source/coqatoo/Main.java:112
MethodAssumption
(String value)
source/coqatoo/coq/Assumption.java:7
MethodCoqtop
()
source/coqatoo/coq/Coqtop.java:21
MethodGoal
(String value)
source/coqatoo/coq/Goal.java:6
MethodInput
(String value)
source/coqatoo/coq/Input.java:7
MethodInputOutput
(Input input, Output output)
source/coqatoo/coq/InputOutput.java:7
MethodOutput
(String value)
source/coqatoo/coq/Output.java:15
Methodapply
(Input input, Output output, Set<coqatoo.coq.Assumption> before, Set<Assumption> after)
source/coqatoo/rewriters/rules/Unfold.java:10
Methodapply
(Input input, Output output, Set<coqatoo.coq.Assumption> before, Set<Assumption> after)
source/coqatoo/rewriters/rules/Omega.java:10
Methodapply
(Input input, Output output, Set<coqatoo.coq.Assumption> before, Set<Assumption> after)
source/coqatoo/rewriters/rules/Reflexivity.java:10
Methodapply
(ResourceBundle bundle)
source/coqatoo/rewriters/rules/Assumption.java:6
Methodapply
(ResourceBundle bundle, Input input, Output output, Set<coqatoo.coq.Assumption> before, Set<Assumption> after,
source/coqatoo/rewriters/rules/Intros.java:11
Methodapply
(Input input, Output output, Set<coqatoo.coq.Assumption> before, Set<Assumption> after)
source/coqatoo/rewriters/rules/Simpl.java:10
MethodgetProofGlobalGoal
()
source/coqatoo/rewriters/TextRewriter.java:39
MethodgetTextVersion
()
source/coqatoo/rewriters/LatexRewriter.java:4
MethodgetTextVersion
()
source/coqatoo/rewriters/CoqRewriter.java:11
MethodgetType
()
source/coqatoo/coq/Assumption.java:12
MethodgetValue
()
source/coqatoo/coq/Goal.java:10
MethodhashCode
()
source/coqatoo/coq/Assumption.java:36
MethodisSubset
(Set<T> setA, Set<T> setB)
source/helpers/SetHelper.java:38
MethodisSuperset
(Set<T> setA, Set<T> setB)
source/helpers/SetHelper.java:42
Methodmain
(String[] args)
source/coqatoo/Main.java:18
MethodsymDifference
(Set<T> setA, Set<T> setB)
source/helpers/SetHelper.java:29
MethodverifyLemmaIsPresentInFile
(String filePath, String lemmaName)
source/coqatoo/Main.java:104